| | 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 | | Leutgeb, Lorenz ; Weinzierl, Antonius | Techniques for Efficient Lazy-Grounding ASP Solving | Konferenzbeitrag Inproceedings | 2018 |
| 4 | | Redl, Christoph | Explaining Inconsistency in Answer Set Programs and Extensions | Konferenzbeitrag Inproceedings | 2017 |
| 5 | | Rath, Jakob ; Redl, Christoph | Integrating Answer Set Programming with Procedural Languages | Konferenzbeitrag Inproceedings | 2017 |
| 6 | | Redl, Christoph | Extending Answer Set Programs with Interpreted Functions as First-class Citizens | Konferenzbeitrag Inproceedings | 2017 |
| 7 | | Kaminski, Tobias | Answer Set Programs with External Source Access: Integrated Evaluation and New Applications | Konferenzbeitrag Inproceedings | 2017 |
| 8 | | Redl, Christoph | Answer Set Programs with Queries over Subprograms | Konferenzbeitrag Inproceedings | 2017 |
| 9 | | Redl, Christoph | Conflict-driven ASP Solving with External Sources and Program Splits | Konferenzbeitrag Inproceedings | 2017 |
| 10 | | Eiter, Thomas ; Kaminski, Tobias ; Weinzierl, Antonius | Lazy-Grounding for Answer Set Programs with External Source Access | Konferenzbeitrag Inproceedings | 2017 |
| 11 | | Leutgeb, Lorenz ; Weinzierl, Antonius | Techniques for Efficient Lazy-Grounding ASP Solving | Konferenzbeitrag Inproceedings | 2017 |
| 12 | | Redl, Christoph | Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining | Konferenzbeitrag Inproceedings | 2017 |
| 13 | | Redl, Christoph | On Equivalance and Inconsistency of Answer Set Programs with External Sources | Konferenzbeitrag Inproceedings | 2017 |
| 14 | | Taupe, Richard ; Weinzierl, Antonius ; Schenner, Gottfried | Introducing Heuristics for Lazy-Grounding ASP Solving | Konferenzbeitrag Inproceedings | 2017 |
| 15 | | Redl, Christoph | Automated Benchmarking of KR-Systems | Konferenzbeitrag Inproceedings | 2016 |
| 16 | | Eiter, Thomas ; Redl, Christoph ; Schüller, Peter | Problem Solving Using the HEX Family | Konferenzbeitrag Inproceedings | 2016 |
| 17 | | Eiter, Thomas ; Kaminski, Tobias ; Redl, Christoph ; Weinzierl, Antonius | Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access | Konferenzbeitrag Inproceedings | 2016 |
| 18 | | De Rosis, Alessandro ; Eiter, Thomas ; Redl, Christoph ; Ricca, Francesco | Constraint Answer Set Programming based on HEX-Programs | Konferenzbeitrag Inproceedings | 2015 |