| Publication | Date of Publication | Type |
|---|
| Layerings of logic programs -- layer decomposable semantics and incremental model computation | 2023-08-17 | Paper |
| Modularization of logic programs | 2023-08-17 | Paper |
| Abduction over 3-valued extended logic programs | 2022-08-30 | Paper |
| Strong and explicit negation in non-monotonic reasoning and logic programming | 2019-10-08 | Paper |
| Contextual reasoning: usually birds can abductively fly | 2017-09-05 | Paper |
| INSPECTING AND PREFERRING ABDUCTIVE MODELS | 2016-11-09 | Paper |
| Contextual Abductive Reasoning with Side-Effects | 2014-11-25 | Paper |
| Incremental Tabling for Query-Driven Propagation of Logic Program Updates | 2014-01-17 | Paper |
| Program Updating by Incremental and Answer Subsumption Tabling | 2013-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844914 | 2013-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844921 | 2013-08-20 | Paper |
| Turing is among us | 2013-01-14 | Paper |
| Moral Reasoning under Uncertainty | 2012-06-15 | Paper |
| Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation | 2012-05-23 | Paper |
| Tight Semantics for Logic Programs | 2012-05-11 | Paper |
| Inspecting Side-Effects of Abduction in Logic Programs | 2011-05-19 | Paper |
| Cluster-Lift Method for Mapping Research Activities over a Concept Tree | 2010-03-23 | Paper |
| Layer Supported Models of Logic Programs | 2009-11-10 | Paper |
| Progress in Artificial Intelligence | 2009-08-07 | Paper |
| Progress in Artificial Intelligence | 2009-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3621608 | 2009-04-21 | Paper |
| Collaborative vs. Conflicting Learning, Evolution and Argumentation | 2009-01-07 | Paper |
| Methodological naturalism and epistemic internalism | 2008-07-31 | Paper |
| Approved Models for Normal Logic Programs | 2008-05-15 | Paper |
| Preferential theory revision | 2008-03-11 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Common-sense reasoning as proto-scientific agent activity | 2005-09-27 | Paper |
| Epistemology and artificial intelligence | 2005-09-27 | Paper |
| An encompassing framework for paraconsistent logic programs | 2005-05-04 | Paper |
| Belief revision via Lamarckian evolution | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739291 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736469 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736470 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736479 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448343 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4420264 | 2003-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415110 | 2003-07-28 | 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/Q4708930 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707731 | 2003-06-11 | 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/Q4798022 | 2003-03-18 | Paper |
| Hybrid probabilistic logic programs as residuated logic programs | 2003-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784882 | 2002-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536336 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4781257 | 2002-11-13 | Paper |
| LUPS -- A language for updating logic programs | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536316 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2770540 | 2002-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767051 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767155 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753775 | 2001-12-04 | Paper |
| Strategies in combined learning via logic programs | 2001-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955336 | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955340 | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944881 | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4236380 | 1999-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4244297 | 1999-05-27 | Paper |
| Representing and reasoning about concurrent actions with abductive logic programs | 1998-07-16 | 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 |
| Automated reasoning in geometry theorem proving with Prolog | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3883567 | 1980-01-01 | Paper |
