|
| | Preview | Author(s) | Title | Type | Issue Date |
| 141 | | 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 |
| 142 | | Gogacz, Tomasz ; Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Murlak, Filip ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Ontology Focusing: Knowledge-Enriched Databases on Demand | Konferenzbeitrag Inproceedings | 2020 |
| 143 | | Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena | An ExpTime Upper Bound for ALC with Integers | Konferenzbeitrag Inproceedings | 2020 |
| 144 | | 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 |
| 145 | | Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Šimkus, Mantas | Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog | Artikel Article | 2020 |
| 146 | | SARIBATUR, ZEYNEP G. ; EITER, THOMAS | Omission-based Abstraction for Answer Set Programs | Artikel Article | 2020 |
| 147 | | Antić, Christian | Fixed point semantics for stream reasoning | Artikel Article | 2020 |
| 148 | | Eiter, Thomas ; Saribatur, Zeynep Gözen ; Schüller, Peter | Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems | Präsentation Presentation | 2020 |
| 149 | | WEINZIERL, ANTONIUS ; TAUPE, RICHARD ; FRIEDRICH, GERHARD | Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More | Artikel Article | 2020 |
| 150 | | TAUPE, RICHARD ; WEINZIERL, ANTONIUS ; FRIEDRICH, GERHARD | Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints | Artikel Article | 2020 |
| 151 | | Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard | Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More | Preprint Preprint | 2020 |
| 152 | | Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard | Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints | Preprint Preprint | 2020 |
| 153 | | Eiter, Thomas ; Kiesel, Rafael Peter David | Weighted LARS for Quantitative Stream Reasoning | Präsentation Presentation | 2020 |
| 154 | | Lukumbuzya, Sanja | Ontology-Enriched Data Management with Partially Complete Data | Präsentation Presentation | 2020 |
| 155 | | Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans | Catching the Ouroboros: On debugging non-ground answer-set programs | Präsentation Presentation | 2020 |
| 156 | | Eiter, Thomas ; Kiesel, Rafael Peter David | Quantities in Stream Reasoning | Präsentation Presentation | 2020 |
| 157 | | Kiesel, Rafael Peter David | Quantitative and Stream Extensions of Answer Set Programming | Präsentation Presentation | 2020 |
| 158 | | Eiter, Thomas | A Hitchhiker's Tour Through Computational Complexity in Knowledge Representation and Reasoning | Präsentation Presentation | 2020 |
| 159 | | Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard | Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More | Präsentation Presentation | 2020 |
| 160 | | Eiter, Thomas ; Kiesel, Rafael Peter David | ASP(AC): Answer Set Programming with Algebraic Constraints | Präsentation Presentation | 2020 |
