Default reasoning by deductive planning (original) (raw)
Related papers
A proof theory for Constructive Default Logic
Lecture Notes in Computer Science, 1993
Prolog technology for default reasoning: proof theory and compilation techniques
Artificial Intelligence, 1998
Alternative foundations for Reiter's default logic
Artificial Intelligence, 2000
Alternative Approaches to Default Logic
Artificial Intelligence, 1994
Lecture Notes in Computer Science, 1998
Reasoning with Sets of Defaults in Default Logic
Computational Intelligence, 2004
Default Logics: A Unified View
Computational Intelligence, 1994
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence, 2008
Darr – a Theorem Prover for Constrained and Rational Default Logics
2008
KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning
Synthesis of Proof Procedures for Default Reasoning
1996
A Proof Procedure for Normal Default Theories
Applied Intelligence, 1996
Modal logic for default reasoning
Annals of Mathematics and Artificial Intelligence, 1990
Expressing Default Logic Variants in Default Logic
Journal of Logic and Computation, 2005
On the Relation between Reiter’s Default Logic and Its (Major) Variants
Lecture Notes in Computer Science, 2003
An Abstract, Argumentation-Theoretic Approach to Default Reasoning
Artificial intelligence, 1997
Skeptical query-answering in Constrained Default Logic
Lecture Notes in Computer Science, 1996
On Commitment and Cumulativity in Default Logics
1991
An Intuitionistic ALC Description Default Logic
An Algebraic Approach for Action Based Default Reasoning
Electronic Proceedings in Theoretical Computer Science, 2019
Uniform semantic treatment of default and autoepistemic logics
Marc Denecker, M. Truszczynski
Artificial Intelligence, 2003
A new methodology for query answering in default logics via structure-oriented theorem proving
Journal of Automated Reasoning, 1995
Uniform semantic treatment of default and autoepistemic logics* 1
Artificial Intelligence, 2003
A Default Logic Patch for Default Logic
Lecture Notes in Computer Science, 2009