| Publication | Date of Publication | Type |
|---|
| Revision operators with compact representations | 2024-04-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5880835 | 2023-03-06 | Paper |
| Rethinking Defeasible Reasoning: A Scalable Approach | 2021-09-03 | Paper |
| A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming | 2020-12-13 | Paper |
| A comparative survey of default logic variants | 2019-04-29 | Paper |
| A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming | 2018-12-04 | Paper |
| Extended RDF: computability and complexity issues | 2016-01-28 | Paper |
| ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS | 2016-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3455609 | 2015-12-11 | Paper |
| MWeb | 2015-09-17 | Paper |
| An inclusion theorem for defeasible logics | 2015-09-17 | Paper |
| Minimal change: relevance and recovery revisited | 2015-08-27 | Paper |
| Efficient Computation of the Well-Founded Semantics over Big Data | 2014-11-25 | Paper |
| Why-provenance information for RDF, rules, and negation | 2014-06-26 | Paper |
| Justifications for Logic Programming | 2013-10-10 | Paper |
| A framework for modular ERDF ontologies | 2013-08-26 | Paper |
| Evolution of ontologies using ASP | 2012-08-29 | Paper |
| Forgetting for Defeasible Logic | 2012-06-15 | Paper |
| Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic | 2011-05-26 | Paper |
| The ramification problem in temporal databases: Concurrent execution | 2010-06-01 | Paper |
| Contextual Argumentation in Ambient Intelligence | 2009-11-10 | Paper |
| Representation results for defeasible logic | 2009-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624127 | 2009-04-28 | Paper |
| Methods and Applications of Artificial Intelligence | 2007-09-25 | Paper |
| Embedding defeasible logic into logic programming | 2007-02-13 | Paper |
| Defeasible reasoning: A discussion of some intuitions | 2007-02-09 | Paper |
| SOFSEM 2006: Theory and Practice of Computer Science | 2006-11-14 | Paper |
| Argumentation Semantics for Defeasible Logic | 2005-03-21 | Paper |
| Defeasible logic with dynamic priorities | 2005-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739568 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4812974 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475122 | 2004-08-09 | Paper |
| On the dynamics of default reasoning | 2003-05-07 | Paper |
| Defeasible logic versus Logic Programming without Negation as Failure | 2001-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494325 | 2001-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944873 | 2000-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955346 | 2000-10-25 | Paper |
| A note on the refinement of ontologies | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501807 | 2000-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4262995 | 2000-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247209 | 2000-01-12 | Paper |
| Operational concepts of nonmonotonic logics. II: Autoepistemic logic | 1999-06-07 | Paper |
| Splitting finite default theories: A comparison of two approaches | 1999-05-11 | Paper |
| Operational characterization of extensions in some logics for default reasoning | 1998-02-04 | Paper |
| Studying properties of classes of default logics | 1998-01-01 | Paper |
| A note on the cumulativity of justified default logic | 1998-01-01 | Paper |
| A correct logic programming computation of default logic extensions | 1997-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4333375 | 1997-02-19 | Paper |
| New proofs in default logic theory | 1996-10-20 | Paper |
| Operational concepts of nonmonotonic logics. I: Default logic | 1995-08-27 | Paper |
| Applying SLD-Resolution to a Class of Non-Horn Logic Programs | 1995-01-02 | Paper |
| The verification of modules | 1994-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282499 | 1994-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4003336 | 1992-09-18 | Paper |
