| Publication | Date of Publication | Type |
|---|
| A general framework for preferences in answer set programming | 2023-12-14 | Paper |
| On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus | 2020-08-05 | Paper |
| An epistemic approach to nondeterminism: believing in the simplest course of events | 2019-11-29 | Paper |
| The logic of qualitative probability | 2019-08-28 | Paper |
| General Belief Revision | 2019-02-25 | Paper |
| A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic | 2019-02-12 | Paper |
| Reconsidering AGM-Style Belief Revision in the Context of Logic Programs. | 2018-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4576244 | 2018-07-12 | Paper |
| A Knowledge Level Account of Forgetting | 2018-01-12 | Paper |
| Kernel Contraction and Base Dependence | 2017-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5740439 | 2016-07-26 | Paper |
| Updating \(\leqslant, <\)-chains | 2016-06-16 | Paper |
| Implementing Preferences with asprin | 2015-11-04 | Paper |
| An Implementation of Consistency-Based Multi-agent Belief Change Using ASP | 2015-11-04 | Paper |
| Belief Change with Uncertain Action Histories | 2015-10-29 | Paper |
| A Model-Theoretic Approach to Belief Change in Answer Set Programming | 2015-09-17 | Paper |
| Belief revision in Horn theories | 2015-02-02 | Paper |
| Horn Clause Contraction Functions | 2013-11-28 | Paper |
| AGM-Style Belief Revision of Logic Programs under Answer Set Semantics | 2013-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906885 | 2013-02-28 | Paper |
| Merging Logic Programs under Answer Set Semantics | 2012-11-13 | Paper |
| Considerations on Belief Revision in an Action Theory | 2012-07-23 | Paper |
| Revising beliefs on the basis of evidence | 2012-07-05 | Paper |
| Parallel belief revision: revising by sets of formulas | 2012-05-23 | Paper |
| Iterated Belief Change Due to Actions and Observations | 2011-03-08 | Paper |
| A program-level approach to revising logic programs under the answer set semantics | 2010-08-19 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2010-04-06 | Paper |
| A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming | 2009-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624148 | 2009-04-28 | Paper |
| COBA 2.0: A Consistency-Based Belief Change System | 2008-09-16 | Paper |
| A General Framework for Expressing Preferences in Causal Reasoning and Planning | 2007-12-10 | Paper |
| A Preference-Based Framework for Updating Logic Programs | 2007-11-13 | Paper |
| On a rule-based interpretation of default conditionals | 2007-08-17 | Paper |
| A consistency-based framework for merging knowledge bases | 2007-07-25 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Expressing Default Logic Variants in Default Logic | 2006-03-09 | Paper |
| A consistency-based approach for belief change | 2006-02-07 | Paper |
| Gricean belief change | 2005-12-02 | Paper |
| On Computing Belief Change Operations using Quantified Boolean Formulas | 2005-03-21 | Paper |
| Representing von Neumann-Morgenstern games in the situation calculus | 2005-01-17 | Paper |
| Reasoning credulously and skeptically within a single extension | 2004-03-07 | Paper |
| A framework for compiling preferences in logic programs | 2004-03-01 | Paper |
| Compiling specificity into approaches to nonmonotonic reasoning | 2003-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708944 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4800166 | 2003-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4546702 | 2003-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784859 | 2002-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784866 | 2002-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536338 | 2002-11-25 | Paper |
| A comparison of point-based approaches to qualitative temporal reasoning | 2002-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530027 | 2002-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2734933 | 2002-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766757 | 2002-01-28 | Paper |
| A formal analysis of relevance | 2001-03-22 | Paper |
| Expressing preferences in default logic | 2000-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260695 | 1999-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4236376 | 1999-09-14 | Paper |
| On first-order conditional logics | 1999-01-12 | Paper |
| The complexity of minimum partial truth assignments and implication in negation-free formulae | 1998-07-19 | Paper |
| Alternative approaches to default logic | 1995-07-27 | Paper |
| Two results in negation-free logic | 1995-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028783 | 1993-03-28 | Paper |
| A general approach for determining the validity of commonsense assertions using conditional logics | 1990-01-01 | Paper |
| An approach to default reasoning based on a first-order conditional logic: Revised report | 1988-01-01 | Paper |
| A first-order conditional logic for prototypical properties | 1987-01-01 | Paper |
| A formal approach to learning from examples | 1987-01-01 | Paper |
