| Publication | Date of Publication | Type |
|---|
| Thirty years of Epistemic Specifications | 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 | 2022-01-10 | Paper |
| Paracoherent answer set computation | 2021-11-02 | Paper |
| ASP-Core-2 Input Language Format | 2021-09-03 | Paper |
| On Uniform Equivalence of Epistemic Logic Programs | 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 | 2018-07-12 | Paper |
| Rewriting recursive aggregates in answer set programming: back to monotonicity | 2017-11-09 | Paper |
| The DLV system for knowledge representation and reasoning | 2017-07-12 | Paper |
| A logic programming approach to knowledge-state planning | 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 | 2014-11-25 | Paper |
| Complexity of super-coherence problems in ASP | 2014-05-30 | Paper |
| The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics | 2013-10-10 | Paper |
| Strong equivalence of qualitative optimization problems | 2013-07-09 | 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 |
| The Intelligent Grounder of DLV | 2012-07-23 | Paper |
| Privacy Preservation Using Multi-context Systems and Default Logic | 2012-07-23 | Paper |
| Look-back techniques for ASP programs with aggregates | 2012-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3112638 | 2012-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3011297 | 2011-06-28 | Paper |
| Semantics and complexity of recursive aggregates in answer set programming | 2011-06-17 | Paper |
| Manifold Answer-Set Programs and Their Applications | 2011-05-19 | Paper |
| Disjunctive ASP with functions: Decidable queries and effective computation | 2010-08-19 | Paper |
| Normal Form Nested Programs | 2010-02-05 | Paper |
| Manifold Answer-Set Programs for Meta-reasoning | 2009-11-10 | 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 |
| Undoing the effects of action sequences | 2008-09-23 | Paper |
| The Relationship Between Reasoning About Privacy and Default Logics | 2008-05-27 | Paper |
| Complexity results for answer set programming with bounded predicate arities and implications | 2008-04-21 | Paper |
| On look-ahead heuristics in disjunctive logic programming | 2008-04-21 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5422266 | 2007-10-17 | Paper |
| Magic Sets and their application to data integration | 2007-05-23 | Paper |
| Strong order equivalence | 2006-12-20 | 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 |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system | 2006-02-07 | Paper |
| Database Theory - ICDT 2005 | 2005-09-13 | Paper |
| Logic Programming | 2005-08-26 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4708953 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708952 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708917 | 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 |
| Declarative problem-solving using the DLV system | 2002-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767106 | 2002-01-28 | Paper |
