| Publication | Date of Publication | Type |
|---|
| Update-programms can update programs | 2024-10-24 | Paper |
| Telco network inventory validation with NoHR | 2019-10-10 | Paper |
| Strong and explicit negation in non-monotonic reasoning and logic programming | 2019-10-08 | Paper |
| Combining transactions and automatic repairs | 2019-01-31 | Paper |
| Equivalence of defeasible normative systems | 2018-08-28 | Paper |
| Query-Driven Procedures for Hybrid MKNF Knowledge Bases | 2015-09-17 | Paper |
| Preserving Strong Equivalence while Forgetting | 2015-01-14 | Paper |
| A goal-directed implementation of query answering for hybrid MKNF knowledge bases | 2014-04-17 | Paper |
| Forgetting under the Well-Founded Semantics | 2013-10-10 | Paper |
| Decidability and Implementation of Parametrized Logic Programs | 2013-10-10 | Paper |
| External Transaction Logic with Automatic Compensations | 2013-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844914 | 2013-08-20 | Paper |
| An Embedding of Input-Output Logic in Deontic Logic Programs | 2012-11-02 | Paper |
| Local closed world reasoning with description logics under the well-founded semantics | 2011-11-17 | Paper |
| Parametrized Equilibrium Logic | 2011-05-26 | Paper |
| Transaction Logic with External Actions | 2011-05-26 | Paper |
| Evolving Logic Programs with Temporal Operators | 2011-05-19 | Paper |
| Parametrized Logic Programming | 2010-10-01 | Paper |
| Progress in Artificial Intelligence | 2009-08-07 | Paper |
| An Argumentation-Based Negotiation for Distributed Extended Logic Programs | 2009-01-20 | Paper |
| An Event-Condition-Action Logic Programming Language | 2008-10-30 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| The refinement extension principle for semantics of dynamic logic programming | 2005-12-02 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-11-23 | Paper |
| Abduction in well-founded semantics and generalized stable models via tabled dual programs | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739291 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736479 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708906 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708907 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707772 | 2003-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798021 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536336 | 2002-11-25 | Paper |
| LUPS -- A language for updating logic programs | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537432 | 2002-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767051 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753775 | 2001-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955336 | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4244297 | 1999-05-27 | Paper |
| `Classical' negation in nonmonotonic reasoning and logic programming | 1998-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332412 | 1997-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688898 | 1997-03-19 | Paper |
| Reasoning with logic programming | 1996-10-06 | Paper |
| Belief, provability, and logic programs | 1995-09-11 | Paper |
| A logic programming system for nonmonotonic reasoning | 1995-08-27 | Paper |
| Adding closed world assumptions to well-founded semantics | 1994-11-29 | Paper |
| Non-monotonic reasoning with logic programming | 1994-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4013773 | 1992-09-27 | Paper |
