| 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 |
| Efficient parallel ASP instantiation via dynamic rewriting | 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 |
| A backjumping technique for disjunctive logic programming | 2006-10-04 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
