| Publication | Date of Publication | Type |
|---|
Thirty years of Epistemic Specifications
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
| An Introduction to Answer Set Programming and Some of Its Extensions | 2023-03-24 | Paper |
Determining action reversibility in STRIPS using answer set and epistemic logic programming
Theory and Practice of Logic Programming | 2022-01-10 | Paper |
Paracoherent answer set computation
Artificial Intelligence | 2021-11-02 | Paper |
ASP-Core-2 input language format
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
On uniform equivalence of epistemic logic programs
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
| Algorithm selection for paracoherent answer set computation | 2020-02-18 | Paper |
| Chain answer sets for logic programs with generalized atoms | 2020-02-18 | Paper |
| Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments | 2019-10-24 | Paper |
Solving set optimization problems by cardinality optimization with an application to argumentation
(available as arXiv preprint) | 2018-07-12 | Paper |
Rewriting recursive aggregates in answer set programming: back to monotonicity
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A logic programming approach to knowledge-state planning, semantics and complexity
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| Supportedly stable answer sets for logic programs with generalized atoms | 2017-06-26 | Paper |
Efficient computation of the well-founded semantics over big data
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Complexity of super-coherence problems in ASP
Theory and Practice of Logic Programming | 2014-05-30 | Paper |
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Strong equivalence of qualitative optimization problems
The Journal of Artificial Intelligence Research (JAIR) | 2013-07-09 | Paper |
Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues
Theory and Practice of Logic Programming | 2013-03-13 | Paper |
| scientific article; zbMATH DE number 6139984 (Why is no real title available?) | 2013-02-28 | Paper |
Magic sets for disjunctive Datalog programs
Artificial Intelligence | 2012-11-15 | Paper |
The intelligent grounder of DLV
Correct Reasoning | 2012-07-23 | Paper |
Privacy preservation using multi-context systems and default logic
Correct Reasoning | 2012-07-23 | Paper |
Look-back techniques for ASP programs with aggregates
Fundamenta Informaticae | 2012-07-04 | Paper |
| scientific article; zbMATH DE number 5996835 (Why is no real title available?) | 2012-01-12 | Paper |
| Dynamic magic sets and super-coherent answer set programs | 2011-06-28 | Paper |
Dynamic magic sets and super-coherent answer set programs
(available as arXiv preprint) | 2011-06-28 | Paper |
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence | 2011-06-17 | Paper |
Manifold answer-set programs and their applications
Lecture Notes in Computer Science | 2011-05-19 | Paper |
Disjunctive ASP with functions: decidable queries and effective computation
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Normal form nested programs
Fundamenta Informaticae | 2010-02-05 | Paper |
Manifold Answer-Set Programs for Meta-reasoning
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Design and implementation of aggregate functions in the DLV system
Theory and Practice of Logic Programming | 2008-12-18 | Paper |
Normal Form Nested Programs
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
Journal of Algorithms | 2008-09-29 | Paper |
Undoing the effects of action sequences
Journal of Applied Logic | 2008-09-23 | Paper |
The Relationship Between Reasoning About Privacy and Default Logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence | 2008-04-21 | Paper |
On look-ahead heuristics in disjunctive logic programming
Annals of Mathematics and Artificial Intelligence | 2008-04-21 | Paper |
On the Complexity of Answer Set Programming with Aggregates
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Experimenting with Look-Back Heuristics for Hard ASP Programs
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
| scientific article; zbMATH DE number 5201473 (Why is no real title available?) | 2007-10-17 | Paper |
Magic Sets and their application to data integration
Journal of Computer and System Sciences | 2007-05-23 | Paper |
Strong order equivalence
Annals of Mathematics and Artificial Intelligence | 2006-12-20 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
| A backjumping technique for disjunctive logic programming | 2006-10-04 | Paper |
| scientific article; zbMATH DE number 5043340 (Why is no real title available?) | 2006-08-03 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
Artificial Intelligence | 2006-02-07 | Paper |
Database Theory - ICDT 2005
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Computing preferred answer sets by meta-interpretation in Answer Set Programming
Theory and Practice of Logic Programming | 2004-08-19 | Paper |
Disjunctive logic programs with inheritance
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 2000818 (Why is no real title available?) | 2003-11-04 | Paper |
| scientific article; zbMATH DE number 1931694 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1931693 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1931659 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1890627 (Why is no real title available?) | 2003-05-21 | Paper |
| scientific article; zbMATH DE number 1890626 (Why is no real title available?) | 2003-05-18 | Paper |
| scientific article; zbMATH DE number 1890620 (Why is no real title available?) | 2003-04-02 | Paper |
| Declarative problem-solving using the DLV system | 2002-02-27 | Paper |
| scientific article; zbMATH DE number 1696837 (Why is no real title available?) | 2002-01-28 | Paper |
