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