| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Comploi-Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius | Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach | Article Artikel ![peer reviewed](/image/PeerReview_Icon.png) | 5-Jan-2023 |
| 2 | | Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius | Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2021 |
| 3 | | Bogaerts, Bart ; Marynissen, Simon ; Weinzierl, Antonius | Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2020 |
| 4 | | WEINZIERL, ANTONIUS ; TAUPE, RICHARD ; FRIEDRICH, GERHARD | Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More | Artikel Article ![peer reviewed](/image/PeerReview_Icon.png) | 2020 |
| 5 | | TAUPE, RICHARD ; WEINZIERL, ANTONIUS ; FRIEDRICH, GERHARD | Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints | Artikel Article ![peer reviewed](/image/PeerReview_Icon.png) | 2020 |
| 6 | | Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard | Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More | Präsentation Presentation | 2020 |
| 7 | | Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard | Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints | Präsentation Presentation | 2020 |
| 8 | | Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard | Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More | Preprint Preprint | 2020 |
| 9 | | Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard | Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints | Preprint Preprint | 2020 |
| 10 | | Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard | Degrees of Laziness in Grounding | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2019 |
| 11 | | Bomanson, Jori ; Janhunen, Tomi ; Weinzierl, Antonius | Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2019 |
| 12 | | Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard | Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2019 |
| 13 | | 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 |
| 14 | | Weinzierl, Antonius | Lazy Grounding for Answer Set Programming: Challenges and Potential | Präsentation Presentation | 2019 |
| 15 | | 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 |
| 16 | | Eiter, Thomas ; Weinzierl, Antonius | Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract) | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2018 |
| 17 | | Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard | Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP | Konferenzbeitrag Inproceedings ![peer reviewed](/image/PeerReview_Icon.png) | 2018 |
| 18 | ![Eiter Thomas - 2018 - The DLVHEX System.pdf.jpg](/retrieve/67773/Eiter%20Thomas%20-%202018%20-%20The%20DLVHEX%20System.pdf.jpg) | Eiter, Thomas ; Germano, Stefano ; Ianni, Giovambattista ; Kaminski, Tobias ; Redl, Christoph ; Schüller, Peter ; Weinzierl, Antonius | The DLVHEX System | Article Artikel ![Volltext verfügbar](/image/Volltext_Icon.png) | 2018 |
| 19 | | Eiter, Thomas ; Friedrich, Gerhard ; Taupe, Richard ; Weinzierl, Antonius | Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP | Artikel Article ![peer reviewed](/image/PeerReview_Icon.png) | 2018 |
| 20 | ![Eiter Thomas - 2018 - Exploiting Partial Assignments for Efficient Evaluation of...pdf.jpg](/retrieve/45094/Eiter%20Thomas%20-%202018%20-%20Exploiting%20Partial%20Assignments%20for%20Efficient%20Evaluation%20of...pdf.jpg) | Eiter, Thomas ; Kaminski, Tobias ; Redl, Christoph ; Weinzierl, Antonius | Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access | Article Artikel ![Volltext verfügbar](/image/Volltext_Icon.png) | 2018 |