|
| | Preview | Author(s) | Title | Type | Issue Date |
| 201 | | Eiter, Thomas | Stream Reasoning and Multi-Context Systems | Präsentation Presentation | 2019 |
| 202 | | Eiter, Thomas | The Role of Answer Set Programming for Non-monotonic Reasoning | Präsentation Presentation | 2019 |
| 203 | | Eiter, Thomas | Logic Programming for Stream Reasoning | Präsentation Presentation | 2019 |
| 204 | | Eiter, Thomas | Defeasible Reasoning in Description Logic Contexts | Präsentation Presentation | 2019 |
| 205 | | Weinzierl, Antonius ; Bogaerts, Bart ; Bomanson, Jori ; Eiter, Thomas ; Friedrich, Gerhard ; Janhunen, Tomi ; Kaminski, Tobias ; Langowski, Michael ; Leutgeb, Lorenz ; Schenner, Gottfried ; Taupe, Richard | The Alpha Solver for Lazy-GroundingAnswer-Set Programming | Artikel Article | 2019 |
| 206 | | Saribatur, Zeynep Gözen ; Eiter, Thomas ; Schüller, Peter | Abstraction for Non-Ground Answer Set Programs | Bericht Report | 2019 |
| 207 | | 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 | Bericht Report | 2019 |
| 208 | | Labai, Nadia ; Kotek, Tomer ; Ortiz de la Fuente, M.Magdalena ; Veith, Helmut | Pebble-Intervals Automata and FO2 with Two Orders (Extended Version | Bericht Report | 2019 |
| 209 | | Shen, Yi-Dong ; Eiter, Thomas | Determining Inference Semantics for Disjunctive Logic Programs | Artikel Article  | 2019 |
| 210 | | CUTERI, BERNARDO ; DODARO, CARMINE ; RICCA, FRANCESCO ; SCHÜLLER, PETER | Partial Compilation of ASP Programs | Artikel Article | 2019 |
| 211 | | Saribatur, Zeynep G. ; Patoglu, Volkan ; Erdem, Esra | Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories | Artikel Article | 2019 |
| 212 | | REDL, CHRISTOPH | Inlining External Sources in Answer Set Programs | Artikel Article | 2019 |
| 213 | | Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard | Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP | Konferenzbeitrag Inproceedings | 2019 |
| 214 | | Kain, Tobias ; Tompits, Hans | $$\mathsf {Uhura}$$ : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language | Konferenzbeitrag Inproceedings | 2019 |
| 215 | | Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano | Reasoning with Justifiable Exceptions in $$\mathcal{E}\mathcal{L}_\bot $$ Contextualized Knowledge Repositories | Buchbeitrag Book Contribution | 2019 |
| 216 | | Eiter, Thomas ; Kern-Isberner, Gabriele | A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective | Artikel Article | 2019 |
| 217 | | Bajraktari, Labinot ; Ortiz de la Fuente, M.Magdalena ; Xiao, Guohui | Optimizing Horn-SHIQ Reasoning for OBDA | Konferenzbeitrag Inproceedings | 2019 |
| 218 | | Eiter, Thomas ; Ogris, Paul ; Schekotihin, Konstantin | Distributed Stream Reasoning with LARS and ASP | Konferenzbeitrag Inproceedings | 2019 |
| 219 | | Saribatur, Zeynep G. ; Schüller, Peter ; Eiter, Thomas | Abstraction for Non-ground Answer Set Programs | Konferenzbeitrag Inproceedings | 2019 |
| 220 | | Ortiz, Magdalena | Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case | Konferenzbeitrag Inproceedings | 2019 |
