| Publication | Date of Publication | Type |
|---|
Embedding justification theory in approximation fixpoint theory
Artificial Intelligence | 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
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
Justifications and a reconstruction of parity game solving algorithms
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
On Nested Justification Systems
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
A terminological interpretation of (abductive) logic programming
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
A freeness and sharing analysis of logic programs based on a pre-interpretation
Static Analysis | 2022-02-16 | Paper |
Exploiting Game Theory for Analysing Justifications
Theory and Practice of Logic Programming | 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
Annals of Mathematics and Artificial Intelligence | 2019-08-13 | Paper |
Safe inductions and their applications in knowledge representation
Artificial Intelligence | 2018-06-26 | Paper |
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
On local domain symmetry for model expansion
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
The KB paradigm and its application to interactive configuration
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Semantics of templates in a compositional framework for building logics
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| Inference in the \(\mathrm{FO(C)}\) modelling language | 2017-07-18 | Paper |
Inference in the \(\mathrm{FO(C)}\) modelling language
(available as arXiv preprint) | 2017-07-18 | Paper |
On well-founded set-inductions and locally monotone operators
ACM Transactions on Computational Logic | 2017-07-13 | Paper |
Erratum to: ``Splitting an operator: algebraic modularity results for logics with fixpoint semantics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Splitting an operator: algebraic modularity results for logics with fixpoint semantics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A logic of nonmonotone inductive definitions
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Improved static symmetry breaking for SAT
Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
Grounded fixpoints and their applications in knowledge representation
Artificial Intelligence | 2015-11-18 | Paper |
A formal theory of justifications
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Constraint propagation for first-order logic and inductive definitions
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Constraint propagation for first-order logic and inductive definitions
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Lazy model expansion: interleaving grounding with search
Journal of Artificial Intelligence Research | 2015-03-04 | Paper |
Simulating Dynamic Systems Using Linear Time Calculus Theories
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
| A Tarskian informal semantics for answer set programming | 2014-02-25 | Paper |
| Modeling machine learning and data mining problems with \(\mathrm{FO}(\cdot )\) | 2014-02-25 | Paper |
| Lazy model expansion by incremental grounding | 2014-02-25 | Paper |
Reiter's default logic is a logic of autoepistemic reasoning and a good one, too
(available as arXiv preprint) | 2013-02-28 | Paper |
An approximative inference method for solving ∃∀SO satisfiability problems
Journal of Artificial Intelligence Research | 2012-12-03 | Paper |
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
Correct Reasoning | 2012-07-23 | Paper |
| FO(ID) as an extension of DL with rules | 2011-11-23 | Paper |
| A logic of fixpoint definitions | 2011-08-24 | Paper |
Answer Set Programming’s Contributions to Classical Logic
Lecture Notes in Computer Science | 2011-05-19 | Paper |
Coherent composition of distributed knowledge-bases through abduction
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
FO(ID) as an extension of DL with rules
Annals of Mathematics and Artificial Intelligence | 2010-11-12 | Paper |
Embracing events in causal modelling: interventions and counterfactuals in CP-logic
Logics in Artificial Intelligence | 2010-10-01 | Paper |
An approximative inference method for solving \(\exists \forall \)SO satisfiability problems
Logics in Artificial Intelligence | 2010-10-01 | Paper |
\(FO(FD)\): extending classical logic with rule-based fixpoint definitions
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Grounding FO and FO(ID) with bounds
Journal of Artificial Intelligence Research | 2010-05-31 | Paper |
A Deductive System for FO(ID) Based on Least Fixpoint Logic
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
CP-logic: A language of causal probabilistic events and its relation to logic programming
Theory and Practice of Logic Programming | 2009-08-19 | Paper |
Debugging for Model Expansion
Logic Programming | 2009-07-24 | Paper |
Inductive situation calculus
Artificial Intelligence | 2009-07-09 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
Logic Programming | 2009-01-22 | Paper |
Representing Causal Information About a Probabilistic Process
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Distance-Based Repairs of Databases
Logics in Artificial Intelligence | 2008-10-30 | Paper |
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
Representation of Partial Knowledge and Query Answering in Locally Complete Databases
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Satisfiability Checking for PC(ID)
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Integrating Inductive Definitions in SAT
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Predicate Introduction Under Stable and Well-Founded Semantics
Logic Programming | 2008-03-11 | Paper |
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
A Deductive System for PC(ID)
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Distance semantics for database repair
Annals of Mathematics and Artificial Intelligence | 2007-10-23 | Paper |
| Predicate introduction for logics with a fixpoint semantics. I: Logic programming | 2007-10-17 | Paper |
| Predicate introduction for logics with a fixpoint semantics. II: Autoepistemic logic | 2007-10-17 | Paper |
Well-founded and stable semantics of logic programs with aggregates
Theory and Practice of Logic Programming | 2007-04-19 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Computational methods for database repair by signed formulae
Annals of Mathematics and Artificial Intelligence | 2006-09-12 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
scientific article; zbMATH DE number 2243355 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
| scientific article; zbMATH DE number 2085279 (Why is no real title available?) | 2004-08-09 | Paper |
Ultimate approximation and its application in nonmonotonic knowledge representation systems
Information and Computation | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2080019 (Why is no real title available?) | 2004-08-04 | Paper |
Reducing Preferential Paraconsistent Reasoning to Classical Entailment
Journal Of Logic And Computation | 2003-11-10 | Paper |
| scientific article; zbMATH DE number 1926614 (Why is no real title available?) | 2003-06-11 | Paper |
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence | 2003-01-22 | Paper |
| scientific article; zbMATH DE number 1696768 (Why is no real title available?) | 2002-07-22 | Paper |
| Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning | 2002-06-23 | Paper |
| scientific article; zbMATH DE number 1696830 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1536562 (Why is no real title available?) | 2000-11-28 | Paper |
| scientific article; zbMATH DE number 1508927 (Why is no real title available?) | 2000-09-18 | Paper |
| scientific article; zbMATH DE number 1390354 (Why is no real title available?) | 2000-03-22 | Paper |
Compositionality of normal open logic programs
The Journal of Logic Programming | 2000-03-16 | Paper |
| scientific article; zbMATH DE number 1407684 (Why is no real title available?) | 2000-02-28 | Paper |
| scientific article; zbMATH DE number 1301742 (Why is no real title available?) | 2000-01-12 | Paper |
SLDNFA: An abductive procedure for abductive logic programs
The Journal of Logic Programming | 1998-10-06 | Paper |
On the relation between situation calculus and event calculus
The Journal of Logic Programming | 1997-10-23 | Paper |
| scientific article; zbMATH DE number 970723 (Why is no real title available?) | 1997-05-25 | Paper |
CHICA, An Abductive Planning System Based on Event Calculus
Journal Of Logic And Computation | 1996-02-20 | Paper |
Representing Incomplete Knowledge in Abductive Logic Programming
Journal Of Logic And Computation | 1996-02-20 | Paper |
On the duality of abduction and model generation in a framework for model generation with equality
Theoretical Computer Science | 1994-11-29 | Paper |
