| Publication | Date of Publication | Type |
|---|
ASP and subset minimality: enumeration, cautious reasoning and MUSes
Artificial Intelligence | 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
Artificial Intelligence | 2021-11-02 | Paper |
The Seventh Answer Set Programming Competition: Design and Results
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
ASP-Core-2 input language format
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
The External Interface for Extending WASP
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Optimum stable model search: algorithms and implementation
Journal Of Logic And Computation | 2020-08-05 | Paper |
Partial compilation of ASP programs
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Paracoherent answer set semantics meets argumentation frameworks
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Better paracoherent answer sets with less resources
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Beyond NP: quantifying over answer sets
Theory and Practice of Logic Programming | 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
Artificial Intelligence | 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
Theory and Practice of Logic Programming | 2019-09-19 | Paper |
Taming primary key violations to query large inconsistent data via ASP
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
The Sixth Answer Set Programming Competition
Journal of Artificial Intelligence Research | 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
Artificial Intelligence | 2015-12-28 | Paper |
Multi-engine ASP solving with policy adaptation
Journal Of Logic And Computation | 2015-12-28 | Paper |
Advances in WASP
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
The Design of the Sixth Answer Set Programming Competition
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Multi-level Algorithm Selection for ASP
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Interactive debugging of non-ground ASP programs
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Exploiting answer set programming for handling information diffusion in a multi-social-network scenario
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Anytime computation of cautious consequences in answer set programming
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Applying machine learning techniques to ASP solving
| 2014-02-25 | Paper |
Towards query answering in relational multi-context systems
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Parallel instantiation of ASP programs: techniques and experiments
Theory and Practice of Logic Programming | 2013-06-26 | Paper |
Consistent query answering via ASP from different perspectives: theory and practice
Theory and Practice of Logic Programming | 2013-06-26 | Paper |
Team-building with answer set programming in the Gioia-Tauro seaport
Theory and Practice of Logic Programming | 2012-08-30 | Paper |
Look-back techniques for ASP programs with aggregates
Fundamenta Informaticae | 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
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Answer set programming
Lecture Notes in Computer Science | 2010-07-20 | Paper |
OntoDLV: An ASP-based System for Enterprise Ontologies
Journal Of Logic And Computation | 2009-08-24 | Paper |
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
Journal of Algorithms | 2008-09-29 | Paper |
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms | 2008-09-29 | Paper |
On look-ahead heuristics in disjunctive logic programming
Annals of Mathematics and Artificial Intelligence | 2008-04-21 | Paper |
Experimenting with Look-Back Heuristics for Hard ASP Programs
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
Journal of Applied Logic | 2007-07-25 | Paper |
A backjumping technique for disjunctive logic programming
| 2006-10-04 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
