| Publication | Date of Publication | Type |
|---|
| ASP and subset minimality: enumeration, cautious reasoning and MUSes | 2023-06-27 | Paper |
| Enumeration of minimal models and MUSes in WASP | 2023-04-04 | Paper |
| Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring | 2023-04-04 | Paper |
| Pinpointing axioms in ontologies via ASP | 2023-04-04 | Paper |
| Solving problems in the polynomial hierarchy with ASP(Q) | 2023-04-04 | Paper |
| Testing in ASP: revisited language and programming environment | 2021-12-01 | Paper |
| Paracoherent answer set computation | 2021-11-02 | Paper |
| The Seventh Answer Set Programming Competition: Design and Results | 2021-09-03 | Paper |
| ASP-Core-2 Input Language Format | 2021-09-03 | Paper |
| The External Interface for Extending WASP | 2021-09-03 | Paper |
| Optimum stable model search: algorithms and implementation | 2020-08-05 | Paper |
| Partial Compilation of ASP Programs | 2020-05-04 | Paper |
| Paracoherent Answer Set Semantics meets Argumentation Frameworks | 2020-05-04 | Paper |
| Better Paracoherent Answer Sets with Less Resources | 2020-05-04 | Paper |
| Beyond NP: Quantifying over Answer Sets | 2020-05-04 | Paper |
| Algorithm selection for paracoherent answer set computation | 2020-02-18 | Paper |
| A logic-based question answering system for cultural heritage | 2020-02-18 | Paper |
| New models for generating hard random Boolean formulas and disjunctive logic programs | 2020-01-20 | Paper |
| Enhancing DLV for large-scale reasoning | 2019-10-10 | Paper |
| Evaluation of disjunctive programs in WASP | 2019-10-10 | Paper |
| Debugging Non-ground ASP Programs: Technique and Graphical Tools | 2019-09-19 | Paper |
| Taming primary key violations to query large inconsistent data via ASP | 2017-11-09 | Paper |
| Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) | 2017-11-09 | Paper |
| The Sixth Answer Set Programming Competition | 2017-10-24 | Paper |
| The ASP system DLV2 | 2017-09-05 | Paper |
| The design of the Seventh Answer Set Programming Competition | 2017-09-05 | Paper |
| Design and results of the Fifth Answer Set Programming Competition | 2015-12-28 | Paper |
| Multi-engine ASP solving with policy adaptation | 2015-12-28 | Paper |
| Advances in WASP | 2015-11-04 | Paper |
| The Design of the Sixth Answer Set Programming Competition | 2015-11-04 | Paper |
| Multi-level Algorithm Selection for ASP | 2015-11-04 | Paper |
| Interactive Debugging of Non-ground ASP Programs | 2015-11-04 | Paper |
| Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario | 2015-01-14 | Paper |
| Anytime Computation of Cautious Consequences in Answer Set Programming | 2014-11-25 | Paper |
| Applying Machine Learning Techniques to ASP Solving | 2014-02-25 | Paper |
| Towards Query Answering in Relational Multi-Context Systems | 2013-10-10 | Paper |
| Parallel instantiation of ASP programs: techniques and experiments | 2013-06-26 | Paper |
| Consistent query answering via ASP from different perspectives: Theory and practice | 2013-06-26 | Paper |
| Team-building with answer set programming in the Gioia-Tauro seaport | 2012-08-30 | Paper |
| Look-back techniques for ASP programs with aggregates | 2012-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3100235 | 2011-11-23 | Paper |
| Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis | 2011-05-26 | Paper |
| Answer Set Programming | 2010-07-20 | Paper |
| OntoDLV: An ASP-based System for Enterprise Ontologies | 2009-08-24 | Paper |
| Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers | 2008-09-29 | Paper |
| Experimenting with parallelism for the instantiation of ASP programs | 2008-09-29 | Paper |
| On look-ahead heuristics in disjunctive logic programming | 2008-04-21 | Paper |
| Experimenting with Look-Back Heuristics for Hard ASP Programs | 2007-11-13 | Paper |
| Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system | 2007-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5490663 | 2006-10-04 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
