| Publication | Date of Publication | Type |
|---|
| Embedding justification theory in approximation fixpoint theory | 2024-07-03 | Paper |
| Towards systematic treatment of partial functions in knowledge representation | 2024-05-29 | Paper |
| Justifications and a reconstruction of parity game solving algorithms | 2023-08-17 | Paper |
| On Nested Justification Systems | 2022-09-30 | Paper |
| Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory | 2022-09-30 | Paper |
| A terminological interpretation of (abductive) logic programming | 2022-08-30 | Paper |
| A freeness and sharing analysis of logic programs based on a pre-interpretation | 2022-02-16 | Paper |
| Exploiting Game Theory for Analysing Justifications | 2020-12-13 | Paper |
| Improving parity game solvers with justifications | 2020-08-05 | Paper |
| Explaining actual causation in terms of possible causal processes | 2020-02-18 | Paper |
| A compositional typed higher-order logic with definitions | 2019-10-24 | Paper |
| Knowledge representation analysis of graph mining | 2019-08-13 | Paper |
| Safe inductions and their applications in knowledge representation | 2018-06-26 | Paper |
| Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3 | 2017-11-09 | Paper |
| On local domain symmetry for model expansion | 2017-11-09 | Paper |
| The KB paradigm and its application to interactive configuration | 2017-11-09 | Paper |
| Semantics of templates in a compositional framework for building logics | 2017-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282961 | 2017-07-18 | Paper |
| On Well-Founded Set-Inductions and Locally Monotone Operators | 2017-07-13 | Paper |
| Erratum to splitting an operator | 2017-07-12 | Paper |
| Splitting an operator | 2017-07-12 | Paper |
| A logic of nonmonotone inductive definitions | 2017-07-12 | Paper |
| Logic programming revisited | 2017-06-13 | Paper |
| Improved Static Symmetry Breaking for SAT | 2016-09-05 | Paper |
| Grounded fixpoints and their applications in knowledge representation | 2015-11-18 | Paper |
| A Formal Theory of Justifications | 2015-11-04 | Paper |
| Constraint Propagation for First-Order Logic and Inductive Definitions | 2015-09-17 | Paper |
| Lazy Model Expansion: Interleaving Grounding with Search | 2015-03-04 | Paper |
| Simulating Dynamic Systems Using Linear Time Calculus Theories | 2014-11-25 | Paper |
| A Tarskian Informal Semantics for Answer Set Programming | 2014-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5398039 | 2014-02-25 | Paper |
| Lazy Model Expansion by Incremental Grounding | 2014-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906886 | 2013-02-28 | Paper |
| An approximative inference method for solving ∃∀SO satisfiability problems | 2012-12-03 | Paper |
| Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs | 2012-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3100243 | 2011-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3089163 | 2011-08-24 | Paper |
| Answer Set Programming’s Contributions to Classical Logic | 2011-05-19 | Paper |
| Coherent Composition of Distributed Knowledge-Bases through Abduction | 2011-05-06 | Paper |
| FO(ID) as an extension of DL with rules | 2010-11-12 | Paper |
| Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic | 2010-10-01 | Paper |
| An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems | 2010-10-01 | Paper |
| FO(FD): Extending classical logic with rule-based fixpoint definitions | 2010-08-19 | Paper |
| Grounding FO and FO(ID) with Bounds | 2010-05-31 | Paper |
| A Deductive System for FO(ID) Based on Least Fixpoint Logic | 2009-11-10 | Paper |
| CP-logic: A language of causal probabilistic events and its relation to logic programming | 2009-08-19 | Paper |
| Debugging for Model Expansion | 2009-07-24 | Paper |
| Inductive situation calculus | 2009-07-09 | Paper |
| Foundations of Information and Knowledge Systems | 2009-05-14 | Paper |
| Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic | 2009-01-22 | Paper |
| Representing Causal Information About a Probabilistic Process | 2008-10-30 | Paper |
| Distance-Based Repairs of Databases | 2008-10-30 | Paper |
| SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions | 2008-05-27 | Paper |
| Representation of Partial Knowledge and Query Answering in Locally Complete Databases | 2008-05-27 | Paper |
| Satisfiability Checking for PC(ID) | 2008-05-27 | Paper |
| Integrating Inductive Definitions in SAT | 2008-05-15 | Paper |
| Predicate Introduction Under Stable and Well-Founded Semantics | 2008-03-11 | Paper |
| Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions | 2007-11-13 | Paper |
| A Deductive System for PC(ID) | 2007-11-13 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Distance semantics for database repair | 2007-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422271 | 2007-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422272 | 2007-10-17 | Paper |
| Well-founded and stable semantics of logic programs with aggregates | 2007-04-19 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Computational methods for database repair by signed formulae | 2006-09-12 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5715664 | 2006-01-04 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736514 | 2004-08-09 | Paper |
| Ultimate approximation and its application in nonmonotonic knowledge representation systems | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472206 | 2004-08-04 | Paper |
| Reducing Preferential Paraconsistent Reasoning to Classical Entailment | 2003-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707746 | 2003-06-11 | Paper |
| Uniform semantic treatment of default and autoepistemic logics | 2003-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767022 | 2002-07-22 | Paper |
| Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning | 2002-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767097 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518430 | 2000-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4506391 | 2000-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934646 | 2000-03-22 | Paper |
| Compositionality of normal open logic programs | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940939 | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246955 | 2000-01-12 | Paper |
| SLDNFA: An abductive procedure for abductive logic programs | 1998-10-06 | Paper |
| On the relation between situation calculus and event calculus | 1997-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688908 | 1997-05-25 | Paper |
| CHICA, An Abductive Planning System Based on Event Calculus | 1996-02-20 | Paper |
| Representing Incomplete Knowledge in Abductive Logic Programming | 1996-02-20 | Paper |
| On the duality of abduction and model generation in a framework for model generation with equality | 1994-11-29 | Paper |
