| Publication | Date of Publication | Type |
|---|
| Complexity results for abductive logic programming | 2022-08-30 | Paper |
| ASP-Core-2 Input Language Format | 2021-09-03 | Paper |
| Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming | 2021-09-03 | Paper |
| Enhancing Magic Sets with an Application to Ontological Reasoning | 2020-05-04 | Paper |
| Precomputing Datalog Evaluation Plans in Large-Scale Scenarios | 2020-05-04 | Paper |
| Reasoning on anonymity in Datalog | 2019-10-24 | Paper |
| An ASP-based framework for the manipulation of articulated objects using dual-arm robots | 2019-10-10 | Paper |
| Evaluation of disjunctive programs in WASP | 2019-10-10 | Paper |
| Enhancing DLV for large-scale reasoning | 2019-10-10 | Paper |
| Fast Query Answering over Existential Rules | 2019-07-04 | Paper |
| Complexity and compilation of GZ-aggregates in answer set programming | 2017-11-09 | Paper |
| Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) | 2017-11-09 | Paper |
| Finite model reasoning over existential rules | 2017-11-08 | Paper |
| The ASP system DLV2 | 2017-09-05 | Paper |
| A logic programming approach to knowledge-state planning | 2017-07-12 | Paper |
| The DLV system for knowledge representation and reasoning | 2017-07-12 | Paper |
| Semi-equilibrium models for paracoherent answer set programs | 2016-03-08 | Paper |
| Advances in WASP | 2015-11-04 | Paper |
| The complexity of acyclic conjunctive queries | 2015-10-30 | Paper |
| Modular Paracoherent Answer Sets | 2015-01-14 | Paper |
| Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues | 2013-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906882 | 2013-02-28 | Paper |
| Magic sets for disjunctive Datalog programs | 2012-11-15 | Paper |
| Team-building with answer set programming in the Gioia-Tauro seaport | 2012-08-30 | Paper |
| The Intelligent Grounder of DLV | 2012-07-23 | Paper |
| Look-back Techniques for ASP Programs with Aggregates | 2012-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2880785 | 2012-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3112638 | 2012-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3100241 | 2011-11-23 | Paper |
| Semantics and complexity of recursive aggregates in answer set programming | 2011-06-17 | Paper |
| Dynamic Magic Sets for Programs with Monotone Recursive Aggregates | 2011-05-26 | Paper |
| Census Data Repair: A Challenging Application of Disjunctive Logic Programming | 2011-05-06 | Paper |
| On the complexity of regular-grammars with integer attributes | 2011-03-28 | Paper |
| Disjunctive ASP with functions: Decidable queries and effective computation | 2010-08-19 | Paper |
| Answer Set Programming | 2010-07-20 | Paper |
| Second order logic and the weak exponential hierarchies | 2010-06-17 | Paper |
| Normal Form Nested Programs | 2010-02-05 | Paper |
| Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs | 2009-11-10 | Paper |
| OntoDLV: An ASP-based System for Enterprise Ontologies | 2009-08-24 | Paper |
| On the relation among answer set solvers | 2009-07-06 | Paper |
| Computable Functions in ASP: Theory and Implementation | 2009-01-22 | Paper |
| Design and implementation of aggregate functions in the DLV system | 2008-12-18 | Paper |
| Normal Form Nested Programs | 2008-10-27 | Paper |
| Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers | 2008-09-29 | Paper |
| On look-ahead heuristics in disjunctive logic programming | 2008-04-21 | Paper |
| Enhancing DLV instantiator by backjumping techniques | 2008-04-21 | Paper |
| Experimenting with recursive queries in database and logic programming systems | 2008-03-27 | Paper |
| On the Complexity of Answer Set Programming with Aggregates | 2007-11-13 | Paper |
| Experimenting with Look-Back Heuristics for Hard ASP Programs | 2007-11-13 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system | 2007-07-25 | Paper |
| Magic Sets and their application to data integration | 2007-05-23 | Paper |
| Weighted hypertree decompositions and optimal query plans | 2007-04-26 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5490663 | 2006-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5480653 | 2006-08-03 | Paper |
| A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system | 2006-02-07 | Paper |
| Enhancing disjunctive logic programming systems by SAT checkers | 2006-02-07 | Paper |
| Database Theory - ICDT 2005 | 2005-09-13 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Abductive logic programs with penalization: semantics, complexity and implementation | 2005-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4823426 | 2004-10-28 | Paper |
| Computing preferred answer sets by meta-interpretation in Answer Set Programming | 2004-08-19 | Paper |
| Disjunctive logic programs with inheritance | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434167 | 2003-11-04 | Paper |
| Semantics and complexity of abduction from default theories | 2003-08-28 | Paper |
| Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. | 2003-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708917 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708952 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708953 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4800170 | 2003-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4800169 | 2003-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4800163 | 2003-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798016 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4799253 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779133 | 2002-11-25 | Paper |
| Hypertree decompositions and tractable queries | 2002-09-12 | Paper |
| Enhancing model checking in verification by AI techniques | 2002-07-24 | Paper |
| Logic programming and knowledge representation---The A-Prolog perspective | 2002-07-15 | Paper |
| Computing LOGCFL certificates | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2734932 | 2002-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767106 | 2002-01-28 | Paper |
| On ACTL formulas having linear counterexamples | 2001-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518915 | 2001-06-13 | Paper |
| A comparison of structural CSP decomposition methods | 2000-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938636 | 2000-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4314596 | 2000-06-21 | Paper |
| Semantics and expressiveness of disjunctive ordered logic | 2000-06-07 | Paper |
| Succinctness as a source of complexity in logical formalisms | 1999-09-22 | Paper |
| Expressive power and complexity of partial models for disjunctive deductive databases | 1999-01-12 | Paper |
| Efficient evaluation of a class of ordered logic programs | 1998-07-22 | Paper |
| Abduction from logic programs: Semantics and complexity | 1998-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375823 | 1998-06-09 | Paper |
| On the indiscernibility of individuals in logic programming | 1998-04-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375822 | 1998-03-02 | Paper |
| Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation | 1998-01-12 | Paper |
| On the partial semantics for disjunctive deductive databases | 1997-10-26 | Paper |
| Stable models and their computation for logic programming with inheritance and true negation | 1997-04-27 | Paper |
| A language for updating logic programs and its implementation | 1997-03-17 | Paper |
| Ordered Logic Programming with Sets | 1994-04-27 | Paper |
| Safe computation of the well-founded semantics of datalog queries | 1993-01-16 | Paper |
