| Publication | Date of Publication | Type |
|---|
| Sequent-type rejection systems for finite-valued non-deterministic logics | 2023-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104549 | 2022-09-14 | Paper |
| A many-sorted variant of Japaridze’s polymodal provability logic | 2022-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020976 | 2022-01-11 | Paper |
| Characterising relativised strong equivalence with projection for non-ground answer-set programs | 2020-02-18 | Paper |
| Uhura: an authoring tool for specifying answer-set programs using controlled natural language | 2020-02-18 | Paper |
| A sequent-type calculus for three-valued default logic, or: Tweety meets quartum non datur | 2019-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4631192 | 2019-04-24 | Paper |
| Blocked Clauses in First-Order Logic | 2019-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553279 | 2018-11-02 | Paper |
| Model-based recasting in answer-set programming | 2018-08-28 | Paper |
| Stepwise debugging of answer-set programs | 2018-02-20 | Paper |
| \(\mathsf {Harvey}\): a system for random testing in ASP | 2017-09-05 | Paper |
| Reasoning about evolving nonmonotonic knowledge bases | 2017-07-12 | Paper |
| Super-Blocked Clauses | 2016-09-05 | Paper |
| Embedding nonground logic programs into autoepistemic logic for knowledge-base combination | 2015-09-17 | Paper |
| A Model-Theoretic Approach to Belief Change in Answer Set Programming | 2015-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5398061 | 2014-02-25 | Paper |
| Annotating answer-set programs in <scp>Lana</scp> | 2013-03-13 | Paper |
| Merging Logic Programs under Answer Set Semantics | 2012-11-13 | Paper |
| Stepwise Debugging of Description-Logic Programs | 2012-07-23 | Paper |
| METHODS AND METHODOLOGIES FOR DEVELOPING ANSWER-SET PROGRAMS|PROJECT DESCRIPTION | 2012-05-11 | Paper |
| Stepping through an Answer-Set Program | 2011-05-26 | Paper |
| Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence | 2011-05-26 | Paper |
| On Testing Answer-Set Programs | 2011-05-11 | Paper |
| Reasoning about Evolving Nonmonotonic Knowledge Bases | 2011-05-06 | Paper |
| Catching the Ouroboros: On debugging non-ground answer-set programs | 2010-08-19 | Paper |
| The system Kato: Detecting cases of plagiarism for answer-set programs | 2010-08-19 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2010-04-06 | Paper |
| Modularity Aspects of Disjunctive Stable Models | 2009-12-10 | Paper |
| Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection | 2009-11-10 | Paper |
| Theory and Applications of Satisfiability Testing | 2009-07-24 | Paper |
| Combining answer set programming with description logics for the semantic web | 2009-07-17 | Paper |
| Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence | 2009-01-22 | Paper |
| Program Correspondence under the Answer-Set Semantics: The Non-ground Case | 2009-01-22 | Paper |
| Proof-complexity results for nonmonotonic reasoning | 2008-12-21 | Paper |
| Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets | 2008-03-04 | Paper |
| A General Framework for Expressing Preferences in Causal Reasoning and Planning | 2007-12-10 | Paper |
| Debugging ASP Programs by Means of ASP | 2007-11-13 | Paper |
| A Preference-Based Framework for Updating Logic Programs | 2007-11-13 | Paper |
| Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains | 2007-11-13 | Paper |
| Modularity Aspects of Disjunctive Stable Models | 2007-11-13 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| A knowledge-based approach for selecting information sources | 2007-04-19 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Inconsistency Tolerance | 2005-08-17 | Paper |
| On Computing Belief Change Operations using Quantified Boolean Formulas | 2005-03-21 | Paper |
| A framework for compiling preferences in logic programs | 2004-03-01 | Paper |
| Using methods of declarative logic programming for intelligent information agents | 2004-03-01 | Paper |
| On properties of update sequences based on causal rejection | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4446262 | 2004-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412854 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708928 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4800165 | 2003-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4800166 | 2003-05-18 | Paper |
| On different proof-search strategies for orthologic | 2003-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784859 | 2002-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536338 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530461 | 2002-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536313 | 2002-06-25 | Paper |
| A survey of non-monotonic reasoning | 1999-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838809 | 1999-01-05 | Paper |
