|
| | Preview | Author(s) | Title | Type | Issue Date |
| 221 | | Lukumbuzya, Sanja | Ontology-Enriched Data Management with Partially Complete Data | Konferenzbeitrag Inproceedings  | 2019 |
| 222 | | Lonsing, Florian ; Egly, Uwe | QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties | Konferenzbeitrag Inproceedings | 2019 |
| 223 | | Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano | Justifiable Exceptions in General Contextual Hierarchies | Konferenzbeitrag Inproceedings | 2019 |
| 224 | | Saribatur, Zeynep Gözen ; Schüller, Peter ; Eiter, Thomas | Abstraction for Non-Ground Answer Set Programs | Konferenzbeitrag Inproceedings | Nov-2018 |
| 225 | | Diller, Martin ; Haret, Adrian ; Linsbichler, Thomas ; Rümmele, Stefan ; Woltran, Stefan | An extension-based approach to belief revision in abstract argumentation | Artikel Article | Feb-2018 |
| 226 | | Saribatur, Zeynep Gözen ; Patoglu, Volkan ; Erdem, Esra | Finding Optimal Feasible Global Plans for Multiple Teams of Heterogeneous Robots using Hybrid Reasoning: An Application to Cognitive Factories | Präsentation Presentation | 2018 |
| 227 | | Saribatur, Zeynep Gözen ; Eiter, Thomas | Omission-based Abstraction for Answer Set Programs (Extended Abstract) | Präsentation Presentation | 2018 |
| 228 | | Saribatur, Zeynep Gözen | ASP-based Perspective on Reactive Policies with Planning | Präsentation Presentation | 2018 |
| 229 | | Kaminski, Tobias ; Eiter, Thomas ; Inoue, Katsumi | Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming | Präsentation Presentation | 2018 |
| 230 | | Eiter, Thomas ; Kaminski, Tobias ; Redl, Christoph ; Weinzierl, Antonius | Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access | Bericht Report | 2018 |
| 231 | | Redl, Christoph | Inconsistency in Answer Set Programs and Extensions | Bericht Report | 2018 |
| 232 | | Redl, Christoph | Inlining External Sources in Answer Set Programs | Bericht Report | 2018 |
| 233 | | Saribatur, Zeynep Gözen ; Eiter, Thomas | Omission-Based Abstraction for Answer Set Programs | Konferenzbeitrag Inproceedings | 2018 |
| 234 | | Keshavarzi Zafarghandi, Atefeh ; Linsbichler, Thomas ; Woltran, Stefan ; Diller, Martin | Investigating Subclasses of Abstract Dialectical Frameworks | Konferenzbeitrag Inproceedings | 2018 |
| 235 | | Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano | Reasoning with Justifiable Exceptions in Contextual Hierarchies | Konferenzbeitrag Inproceedings | 2018 |
| 236 | | Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano | Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract) | Konferenzbeitrag Inproceedings | 2018 |
| 237 | | Ortiz, Magdalena | Improving Data Management using Domain Knowledge | Konferenzbeitrag Inproceedings | 2018 |
| 238 | | Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas | LARS: A Logic-Based Framework for Analytic Reasoning over Streams | Konferenzbeitrag Inproceedings | 2018 |
| 239 | | Eiter, Thomas ; Weinzierl, Antonius | Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract) | Konferenzbeitrag Inproceedings | 2018 |
| 240 | | Lonsing, Florian ; Egly, Uwe | $${\textsf {QRAT}}^{+}$$: Generalizing QRAT by a More Powerful QBF Redundancy Property | Konferenzbeitrag Inproceedings | 2018 |
