|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 141 | | Antić, Christian | Fixed point semantics for stream reasoning | Artikel Article  | 2020 |
| 142 | | Eiter, Thomas ; Saribatur, Zeynep Gözen ; Schüller, Peter | Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems | Präsentation Presentation | 2020 |
| 143 | | WEINZIERL, ANTONIUS ; TAUPE, RICHARD ; FRIEDRICH, GERHARD | Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More | Artikel Article | 2020 |
| 144 | | TAUPE, RICHARD ; WEINZIERL, ANTONIUS ; FRIEDRICH, GERHARD | Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints | Artikel Article | 2020 |
| 145 | | Eiter, Thomas ; Kiesel, Rafael Peter David | Weighted LARS for Quantitative Stream Reasoning | Präsentation Presentation | 2020 |
| 146 | | Lukumbuzya, Sanja | Ontology-Enriched Data Management with Partially Complete Data | Präsentation Presentation | 2020 |
| 147 | | Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans | Catching the Ouroboros: On debugging non-ground answer-set programs | Präsentation Presentation | 2020 |
| 148 | | Eiter, Thomas ; Kiesel, Rafael Peter David | Quantities in Stream Reasoning | Präsentation Presentation | 2020 |
| 149 | | Kiesel, Rafael Peter David | Quantitative and Stream Extensions of Answer Set Programming | Präsentation Presentation | 2020 |
| 150 | | Eiter, Thomas | A Hitchhiker's Tour Through Computational Complexity in Knowledge Representation and Reasoning | Präsentation Presentation | 2020 |
| 151 | | Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard | Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More | Präsentation Presentation | 2020 |
| 152 | | Eiter, Thomas ; Kiesel, Rafael Peter David | ASP(AC): Answer Set Programming with Algebraic Constraints | Präsentation Presentation | 2020 |
| 153 | | Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard | Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints | Präsentation Presentation | 2020 |
| 154 | | Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena | An ExpTime Upper Bound for ALC with Integers (Extended Version) | Bericht Report | 2020 |
| 155 | | Saribatur, Zeynep Gözen ; Eiter, Thomas | Omission-based Abstraction for Answer Set Programs | Preprint Preprint | 2020 |
| 156 | | Gogacz, Tomasz ; Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Jung, Jean Chistoph ; Murlak, Filip | On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles | Preprint Preprint | 2020 |
| 157 | | Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Jung, Jean Chistoph | Answering Regular Path Queries Over SQ Ontologies | Preprint Preprint | 2020 |
| 158 | | Ibanez Garcia, Yazmin Angelica ; Gutierrez-Basulto, Victor ; Schockaert, Steven | Plausible Reasoning about EL-Ontologies using Concept Interpolation | Preprint Preprint | 2020 |
| 159 | | Beyersdorff, Olaf ; Egly, Uwe ; Mahajan, Meena ; Nalon, Claudia | SAT and Interactions (Dagstuhl Seminar 20061) | Konferenzband Proceedings | 2020 |
| 160 | | Artikis, Alexander ; Eiter, Thomas ; Margara, Alessandro ; Vansummeren, Stijn | Foundations of Composite Event Recognition (Dagstuhl Seminar 20071) | Konferenzband Proceedings | 2020 |
