|
| | Preview | Author(s) | Title | Type | Issue Date |
| 101 | | Le-Tuan, Anh ; Nguyen Duc, Manh ; Chien-Quang, Le ; Tran, Trung-Kien ; Hauswirth, Manfred ; Eiter, Thomas ; Le Phuoc, Danh | CQELS 2.0: Towards A Unified Framework for Semantic Stream Fusion | Konferenzbeitrag Inproceedings  | 2021 |
| 102 | | Tompits, Hans ; Kain, Tobias ; Horeis, Timo Frederik ; Heinrich, Johannes ; Müller, Julian-Steffen ; Plinke, Fabian ; Decke, Hendrik ; Mehlhorn, Marcel Aguirre | C-PO: A Context-Based Application-Placement Optimization for Autonomous Vehicles | Konferenzbeitrag Inproceedings | 2021 |
| 103 | | Kain, Tobias ; Mehlhorn, Marcel Aguirre ; Horeis, Timo Frederik ; Heinrich, Johannes ; Tompits, Hans | Ein Ansatz zur Wiederherstellung ausgefallener Hardwarekomponenten in Fail-Operational Architekturen - Eine Erweiterung von FDIRO | Konferenzbeitrag Inproceedings | 2021 |
| 104 | | Lukumbuzya, Sanja ; Simkus, Mantas | Bounded Predicates in Description Logics with Counting | Konferenzbeitrag Inproceedings | 2021 |
| 105 | | Ahmetaj, Shqiponja ; Loehnert, Bianca ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Magic Shapes for Validation in SHACL | Konferenzbeitrag Inproceedings | 2021 |
| 106 | | Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting | Konferenzbeitrag Inproceedings | 2021 |
| 107 | | Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; Skočovský, Peter ; Stepanova, Daria | Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling | Konferenzbeitrag Inproceedings | 2021 |
| 108 | | Ahmetaj, Shqiponja ; David, Robert ; Ortiz, Magdalena ; Polleres, Axel ; Shehu, Bojken ; Šimkus, Mantas | Reasoning about Explanations for Non-validation in SHACL | Konferenzbeitrag Inproceedings | 2021 |
| 109 | | Cauli, Claudia ; Ortiz, Magdalena ; Piterman, Nir | Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security | Konferenzbeitrag Inproceedings | 2021 |
| 110 | | Eiter, Thomas ; Kiesel, Rafael Peter David | On the Complexity of Sum-of-Products Problems over Semirings. | Konferenzbeitrag Inproceedings | 2021 |
| 111 | | Ramaswamy, Vaidyanathan P. ; Szeider, Stefan | Turbocharging Treewidth-Bounded Bayesian Network Structure Learning | Konferenzbeitrag Inproceedings | 2021 |
| 112 | | Eiter, Thomas ; Le-Phuoc, Danh ; Le-Tuan, Anh | A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion | Konferenzbeitrag Inproceedings | 2021 |
| 113 | | Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting | Konferenzbeitrag Inproceedings | 2021 |
| 114 | | Kiesel, Rafael | Quantitative and Stream Extensions of Answer Set Programming | Konferenzbeitrag Inproceedings | 2021 |
| 115 | | Ahmetaj, Shqiponja ; David, Robert ; Ortiz de la Fuente, M.Magdalena ; Polleres, Axel ; Shehu, Bojken ; Simkus, Mantas | Reasoning about Explanations for Non-validation in SHACL (Extended abstract) | Konferenzbeitrag Inproceedings | 2021 |
| 116 | | Cauli, Claudia ; Ortiz de la Fuente, M.Magdalena ; Piterman, Nir | Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract) | Konferenzbeitrag Inproceedings | 2021 |
| 117 | | Schockaert, Steven ; Ibanez Garcia, Yazmin Angelica ; Gutierrez-Basulto, Victor | Modelling Concept Interpolation in Description Logics using Abstract Betweenness Relations | Konferenzbeitrag Inproceedings | 2021 |
| 118 | | Shen, Yi-Dong ; Eiter, Thomas | Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract) | Konferenzbeitrag Inproceedings | 2021 |
| 119 | | Cuteri, Bernardo ; Dodaro, Carmine ; Ricca, Francesco ; Schüller, Peter | Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators | Konferenzbeitrag Inproceedings | 2021 |
| 120 | | Eiter, Thomas ; Hunter, Aaron ; Schwarzentruber, Francois | How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements | Konferenzbeitrag Inproceedings | 2021 |
