|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius | Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics | Konferenzbeitrag Inproceedings  | 2021 |
| 2 | | Dhungana, Deepak ; Haselböck, Alois ; Schmidbauer, Christina ; Taupe, Richard ; Wallner, Stefan ; Andersen, Ann-Louise ; Andersen Rasmus ; Brunoe, Thomas Ditlev ; Larsen, Maria Stoettrup Schioenning ; Hansen, Kjeld ; Napoleone, Alessia ; Kjeldgaard, Stefan | Enabling Resilient Production Through Adaptive Human-Machine Task Sharing | Konferenzbeitrag Inproceedings   | 2021 |
| 3 | | Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard | Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More | Präsentation Presentation | 2020 |
| 4 | | Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard | Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints | Präsentation Presentation | 2020 |
| 5 | | Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard | Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More | Preprint Preprint | 2020 |
| 6 | | Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard | Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints | Preprint Preprint | 2020 |
| 7 | | Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard ; Balduccini, Marcello ; Lierler, Yuliya ; Woltran, Stefan | Degrees of Laziness in Grounding | Konferenzbeitrag Inproceedings | 2019 |
| 8 | | Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard ; Bogaerts, Bart ; Erdem, Esra ; Fodor, Paul ; Formisano, Andrea ; Ianni, Giovambattista ; Inclezan, Daniela ; De Vos, Marina ; Yang, Fangkai | Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP | Konferenzbeitrag Inproceedings | 2019 |
| 9 | | 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 |
| 10 | | Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard | Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP | Konferenzbeitrag Inproceedings | 2018 |
| 11 | | 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 | 2018 |
| 12 | | Taupe, Richard ; Weinzierl, Antonius ; Schenner, Gottfried ; Gebser, Martin ; Maratea, Marco ; Ricca, Francesco | Introducing Heuristics for Lazy-Grounding ASP Solving | Konferenzbeitrag Inproceedings | 2017 |
