Publication | Date of Publication | Type |
---|
Justifications and a reconstruction of parity game solving algorithms | 2023-08-17 | Paper |
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory | 2022-09-30 | Paper |
On Nested Justification Systems | 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 |
https://portal.mardi4nfdi.de/entity/Q5240216 | 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 |
Semantics of templates in a compositional framework for building logics | 2017-11-09 | 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 |
https://portal.mardi4nfdi.de/entity/Q5282961 | 2017-07-18 | Paper |
On Well-Founded Set-Inductions and Locally Monotone Operators | 2017-07-13 | Paper |
Splitting an operator | 2017-07-12 | Paper |
Erratum to 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 |
https://portal.mardi4nfdi.de/entity/Q5398039 | 2014-02-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q5398058 | 2014-02-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q5398066 | 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 |
Distance-Based Repairs of Databases | 2008-10-30 | Paper |
Representing Causal Information About a Probabilistic Process | 2008-10-30 | Paper |
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions | 2008-05-27 | Paper |
Satisfiability Checking for PC(ID) | 2008-05-27 | Paper |
Representation of Partial Knowledge and Query Answering in Locally Complete Databases | 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 |
https://portal.mardi4nfdi.de/entity/Q2734934 | 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 |
Representing Incomplete Knowledge in Abductive Logic Programming | 1996-02-20 | Paper |
CHICA, An Abductive Planning System Based on Event Calculus | 1996-02-20 | Paper |
On the duality of abduction and model generation in a framework for model generation with equality | 1994-11-29 | Paper |