| Publication | Date of Publication | Type |
|---|
Complexity results for abductive logic programming
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
ASP-Core-2 input language format
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Manipulation of articulated objects using dual-arm robots via answer set programming
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Enhancing magic sets with an application to ontological reasoning
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Precomputing Datalog evaluation plans in large-scale scenarios
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
| Reasoning on anonymity in Datalog | 2019-10-24 | Paper |
| Enhancing DLV for large-scale reasoning | 2019-10-10 | Paper |
| Evaluation of disjunctive programs in WASP | 2019-10-10 | Paper |
| An ASP-based framework for the manipulation of articulated objects using dual-arm robots | 2019-10-10 | Paper |
Fast query answering over existential rules
ACM Transactions on Computational Logic | 2019-07-04 | Paper |
| Evaluation of disjunctive programs in WASP | 2019-03-25 | Dataset |
Complexity and compilation of GZ-aggregates in answer set programming
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 |
Finite model reasoning over existential rules
Theory and Practice of Logic Programming | 2017-11-08 | Paper |
| The ASP system DLV2 | 2017-09-05 | 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 |
Semi-equilibrium models for paracoherent answer set programs
Artificial Intelligence | 2016-03-08 | Paper |
Advances in WASP
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
The complexity of acyclic conjunctive queries
Journal of the ACM | 2015-10-30 | Paper |
Modular paracoherent answer sets
Logics in Artificial Intelligence | 2015-01-14 | 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 |
Team-building with answer set programming in the Gioia-Tauro seaport
Theory and Practice of Logic Programming | 2012-08-30 | Paper |
The intelligent grounder of DLV
Correct Reasoning | 2012-07-23 | Paper |
Look-back techniques for ASP programs with aggregates
Fundamenta Informaticae | 2012-07-04 | Paper |
Finitely recursive programs: decidability and bottom-up computation
AI Communications | 2012-04-16 | Paper |
| scientific article; zbMATH DE number 5996835 (Why is no real title available?) | 2012-01-12 | Paper |
| On demand indexing for the DLV instantiator | 2011-11-23 | Paper |
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence | 2011-06-17 | Paper |
Dynamic magic sets for programs with monotone recursive aggregates
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Census data repair: a challenging application of disjunctive logic programming
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
On the complexity of regular-grammars with integer attributes
Journal of Computer and System Sciences | 2011-03-28 | Paper |
Disjunctive ASP with functions: decidable queries and effective computation
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Answer set programming
Lecture Notes in Computer Science | 2010-07-20 | Paper |
Second order logic and the weak exponential hierarchies
Lecture Notes in Computer Science | 2010-06-17 | Paper |
Normal form nested programs
Fundamenta Informaticae | 2010-02-05 | Paper |
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
OntoDLV: An ASP-based System for Enterprise Ontologies
Journal Of Logic And Computation | 2009-08-24 | Paper |
On the relation among answer set solvers
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
Computable Functions in ASP: Theory and Implementation
Logic Programming | 2009-01-22 | 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 |
Enhancing DLV instantiator by backjumping techniques
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 |
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming | 2008-03-27 | 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 |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
Journal of Applied Logic | 2007-07-25 | Paper |
Magic Sets and their application to data integration
Journal of Computer and System Sciences | 2007-05-23 | Paper |
Weighted hypertree decompositions and optimal query plans
Journal of Computer and System Sciences | 2007-04-26 | 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 |
A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
Artificial Intelligence | 2006-02-07 | Paper |
Enhancing disjunctive logic programming systems by SAT checkers
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 |
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 2111988 (Why is no real title available?) | 2004-10-28 | 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 |
Semantics and complexity of abduction from default theories
Artificial Intelligence | 2003-08-28 | Paper |
Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.
Journal of Computer and System Sciences | 2003-08-19 | 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 |
| scientific article; zbMATH DE number 1884396 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1884352 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1834638 (Why is no real title available?) | 2002-11-25 | Paper |
Hypertree decompositions and tractable queries
Journal of Computer and System Sciences | 2002-09-12 | Paper |
Enhancing model checking in verification by AI techniques
Artificial Intelligence | 2002-07-24 | Paper |
Logic programming and knowledge representation---The A-Prolog perspective
Artificial Intelligence | 2002-07-15 | Paper |
Computing LOGCFL certificates
Theoretical Computer Science | 2002-03-03 | 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 |
On ACTL formulas having linear counterexamples
Journal of Computer and System Sciences | 2001-09-09 | Paper |
| scientific article; zbMATH DE number 1538058 (Why is no real title available?) | 2001-06-13 | Paper |
A comparison of structural CSP decomposition methods
Artificial Intelligence | 2000-12-12 | Paper |
| scientific article; zbMATH DE number 1405655 (Why is no real title available?) | 2000-07-10 | Paper |
| scientific article; zbMATH DE number 695094 (Why is no real title available?) | 2000-06-21 | Paper |
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
Succinctness as a source of complexity in logical formalisms
Annals of Pure and Applied Logic | 1999-09-22 | Paper |
Expressive power and complexity of partial models for disjunctive deductive databases
Theoretical Computer Science | 1999-01-12 | Paper |
Efficient evaluation of a class of ordered logic programs
Data & Knowledge Engineering | 1998-07-22 | Paper |
Abduction from logic programs: Semantics and complexity
Theoretical Computer Science | 1998-06-30 | Paper |
| scientific article; zbMATH DE number 1114054 (Why is no real title available?) | 1998-06-09 | Paper |
On the indiscernibility of individuals in logic programming
Journal Of Logic And Computation | 1998-04-22 | Paper |
| scientific article; zbMATH DE number 1114053 (Why is no real title available?) | 1998-03-02 | Paper |
Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
Information and Computation | 1998-01-12 | Paper |
On the partial semantics for disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence | 1997-10-26 | Paper |
Stable models and their computation for logic programming with inheritance and true negation
The Journal of Logic Programming | 1997-04-27 | Paper |
A language for updating logic programs and its implementation
The Journal of Logic Programming | 1997-03-17 | Paper |
Ordered Logic Programming with Sets
Journal Of Logic And Computation | 1994-04-27 | Paper |
Safe computation of the well-founded semantics of datalog queries
Information Systems | 1993-01-16 | Paper |
