|
| | Preview | Author(s) | Title | Type | Issue Date |
| 161 | | Pkhakadze, Sopo ; Tompits, Hans | Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic | Artikel Article  | 2020 |
| 162 | | Kain, Tobias ; Mundhenk, Philipp ; Müller, Julian-Steffen ; Tompits, Hans ; Wesche, Maximilian ; Decke, Hendrik | Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles | Konferenzbeitrag Inproceedings | 2020 |
| 163 | | Kain, Tobias ; Tompits, Hans ; Müller, Julian-Steffen ; Wesche, Maximilian ; Martinez Flores, Yael Abelardo ; Decke, Hendrik | Optimizing the Placement of Applications in Autonomous Vehicles | Konferenzbeitrag Inproceedings | 2020 |
| 164 | | Kain, Tobias ; Tompits, Hans ; Müller, Julian-Steffen ; Mundhenk, Philipp ; Wesche, Maximilian ; Decke, Hendrik | Fdiro: A General Approach for a Fail-Operational System Design | Konferenzbeitrag Inproceedings | 2020 |
| 165 | | Shen, Yi-Dong ; Eiter, Thomas | Considering Constraint Monotonicity and Foundedness in Answer Set Programming | Konferenzbeitrag Inproceedings | 2020 |
| 166 | | Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Lukumbuzya, Sanja | Resilient Logic Programs: Answer Set Programs Challenged by Ontologies | Konferenzbeitrag Inproceedings | 2020 |
| 167 | | Moser, Bernhard ; Dorffner, Georg ; Eiter, Thomas ; Faber, Wolfgang ; Klambauer, Günther ; Legenstein, Robert ; Nessler, Bernhard ; Polleres, Axel ; Woltran, Stefan | Österreichische AI Strategie aus Sicht der Wissenschaft | Artikel Article | 2020 |
| 168 | | Andresel, Medina-Petrina ; Ibanez Garcia, Yazmin Angelica ; Ortiz de la Fuente, M.Magdalena | A Framework for Exploratory Query Answering with Ontologies | Konferenzbeitrag Inproceedings | 2020 |
| 169 | | Ortiz de la Fuente, M.Magdalena | Rewritability Results for OMQs with Closed Predicates | Konferenzbeitrag Inproceedings | 2020 |
| 170 | | Saribatur, Zeynep Gözen | Towards Comprehensible ASP Reasoning by Means of Abstraction | Konferenzbeitrag Inproceedings | 2020 |
| 171 | | Schütz, Markus ; Ohrhallinger, Stefan ; Wimmer, Michael | Fast Out‐of‐Core Octree Generation for Massive Point Clouds | Artikel Article | 2020 |
| 172 | | Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard | Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More | Preprint Preprint | 2020 |
| 173 | | Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard | Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints | Preprint Preprint | 2020 |
| 174 | | Gogacz, Tomasz ; Gutierrez-Basulto, Victor ; Gutowski, Albert ; Ibanez Garcia, Yazmin Angelica ; Murlak, Filip | On Finite Entailment of Non-Local Queries in Description Logics | Preprint Preprint | 2020 |
| 175 | | Saribatur, Zeynep G. ; Eiter, Thomas | A Semantic Perspective on Omission Abstraction in ASP | Konferenzbeitrag Inproceedings | 2020 |
| 176 | | Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena | An ExpTime Upper Bound for ALC with Integers | Konferenzbeitrag Inproceedings | 2020 |
| 177 | | Gogacz, Tomasz ; Gutierrez-Basulto, Victor ; Gutowski, Albert ; Ibanez Garcia, Yazmin Angelica ; Murlak, Filip | On Finite Entailment of Non-Local Queries in Description Logics | Konferenzbeitrag Inproceedings | 2020 |
| 178 | | Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Schockaert, Steven | Plausible Reasoning about EL-Ontologies using Concept Interpolation | Konferenzbeitrag Inproceedings | 2020 |
| 179 | | Gogacz, Tomasz ; Lukumbuzya, Sanja ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena | Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates | Konferenzbeitrag Inproceedings | 2020 |
| 180 | | Eiter, Thomas ; Ogris, Paul ; Schekotihin, Konstantin | A Distributed Approach to LARS Stream Reasoning (System paper) | Artikel Article | 20-Sep-2019 |
