| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Shen, Yi-Dong ; Eiter, Thomas | Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract) | Konferenzbeitrag Inproceedings | 2021 |
| 2 | | Eiter, Thomas ; Kaminski, Tobias Dietmar | Pruning External Minimality Checking for ASP Using Semantic Dependencies | Inproceedings Konferenzbeitrag | 12-May-2019 |
| 3 | | REDL, CHRISTOPH | Inlining External Sources in Answer Set Programs | Artikel Article | 2019 |
| 4 | | Kaminski, Tobias ; Eiter, Thomas ; Inoue, Katsumi | Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming | Präsentation Presentation | 2018 |
| 5 | | Leutgeb, Lorenz ; Weinzierl, Antonius | Techniques for Efficient Lazy-Grounding ASP Solving | Konferenzbeitrag Inproceedings | 2018 |
| 6 | | Schüller, Peter ; Benz, Mishal | Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation | Artikel Article | 2018 |
| 7 | | KAMINSKI, TOBIAS ; EITER, THOMAS ; INOUE, KATSUMI | Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning | Artikel Article | 2018 |
| 8 | | Redl, Christoph | Explaining Inconsistency in Answer Set Programs and Extensions | Konferenzbeitrag Inproceedings | 2017 |
| 9 | | Rath, Jakob ; Redl, Christoph | Integrating Answer Set Programming with Procedural Languages | Konferenzbeitrag Inproceedings | 2017 |
| 10 | | Redl, Christoph | Extending Answer Set Programs with Interpreted Functions as First-class Citizens | Konferenzbeitrag Inproceedings | 2017 |
| 11 | | Kaminski, Tobias | Answer Set Programs with External Source Access: Integrated Evaluation and New Applications | Konferenzbeitrag Inproceedings | 2017 |
| 12 | | Redl, Christoph | Answer Set Programs with Queries over Subprograms | Konferenzbeitrag Inproceedings | 2017 |
| 13 | | Redl, Christoph | Conflict-driven ASP Solving with External Sources and Program Splits | Konferenzbeitrag Inproceedings | 2017 |
| 14 | | Eiter, Thomas ; Kaminski, Tobias ; Weinzierl, Antonius | Lazy-Grounding for Answer Set Programs with External Source Access | Konferenzbeitrag Inproceedings | 2017 |
| 15 | | Leutgeb, Lorenz ; Weinzierl, Antonius | Techniques for Efficient Lazy-Grounding ASP Solving | Konferenzbeitrag Inproceedings | 2017 |
| 16 | | Redl, Christoph | Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining | Konferenzbeitrag Inproceedings | 2017 |
| 17 | | Redl, Christoph | On Equivalance and Inconsistency of Answer Set Programs with External Sources | Konferenzbeitrag Inproceedings | 2017 |
| 18 | | Eiter, Thomas ; Weinzierl, Antonius | Preference-Based Inconsistency Management in Multi-Context Systems | Artikel Article | 2017 |
| 19 | | Taupe, Richard ; Weinzierl, Antonius ; Schenner, Gottfried | Introducing Heuristics for Lazy-Grounding ASP Solving | Konferenzbeitrag Inproceedings | 2017 |
| 20 | | Redl, Christoph | The ABC Benchmarking System User Manual | Bericht Report | 2016 |