Normal form results for default logic (original) (raw)
Related papers
A proof theory for Constructive Default Logic
Lecture Notes in Computer Science, 1993
Representation theory for default logic
Artificial Intelligence, 1993
A Proof Procedure for Normal Default Theories
Applied Intelligence, 1996
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence, 2008
Expressing Default Logic Variants in Default Logic
Journal of Logic and Computation, 2005
Generality and equivalence relations in default logic
2007
Reasoning with Sets of Defaults in Default Logic
Computational Intelligence, 2004
Alternative Approaches to Default Logic
Artificial Intelligence, 1994
On Commitment and Cumulativity in Default Logics
1991
Alternative foundations for Reiter's default logic
Artificial Intelligence, 2000
Prolog technology for default reasoning: proof theory and compilation techniques
Artificial Intelligence, 1998
On the Relation between Reiter’s Default Logic and Its (Major) Variants
Lecture Notes in Computer Science, 2003
Default Logics: A Unified View
Computational Intelligence, 1994
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae
Uniform semantic treatment of default and autoepistemic logics* 1
Artificial Intelligence, 2003
Four-Valued Semantics for Default Logic
Lecture Notes in Computer Science, 2006
KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning
Uniform semantic treatment of default and autoepistemic logics
Marc Denecker, M. Truszczynski
Artificial Intelligence, 2003
An Intuitionistic ALC Description Default Logic
More on Modal Aspects of Default Logic1
Fundamenta Informaticae, 1992
Darr – a Theorem Prover for Constrained and Rational Default Logics
2008
Sequent-Type Proof Systems for Three-Valued Default Logic
Cornell University - arXiv, 2019
A Default Logic Patch for Default Logic
Lecture Notes in Computer Science, 2009
Synthesis of Proof Procedures for Default Reasoning
1996
The Relation between Default Logic and the Well-founded Semantics
1997: Probabilistic default logic based on irrelevance and relevance assumptions
Lecture Notes in Computer Science, 1997
Weak extensions for default theories
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993
An Abstract, Argumentation-Theoretic Approach to Default Reasoning
Artificial intelligence, 1997