Complexity of Recursive Normal Default Logic (original) (raw)
Related papers
Representation theory for default logic
Artificial Intelligence, 1993
Weak extensions for default theories
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993
A Proof Procedure for Normal Default Theories
Applied Intelligence, 1996
A proof theory for Constructive Default Logic
Lecture Notes in Computer Science, 1993
Generality and equivalence relations in default logic
2007
Normal form results for default logic
1991
Alternative foundations for Reiter's default logic
Artificial Intelligence, 2000
Reasoning with Sets of Defaults in Default Logic
Computational Intelligence, 2004
On Commitment and Cumulativity in Default Logics
1991
On the Relation between Reiter’s Default Logic and Its (Major) Variants
Lecture Notes in Computer Science, 2003
Complexity of Default Logic on Generalized Conjunctive Queries
Lecture Notes in Computer Science, 2007
Four-Valued Semantics for Default Logic
Lecture Notes in Computer Science, 2006
Lecture Notes in Computer Science, 1998
The Relation between Default Logic and the Well-founded Semantics
Expressing Default Logic Variants in Default Logic
Journal of Logic and Computation, 2005
Uniform semantic treatment of default and autoepistemic logics* 1
Artificial Intelligence, 2003
Uniform semantic treatment of default and autoepistemic logics
Marc Denecker, M. Truszczynski
Artificial Intelligence, 2003
Interpolation and Beth Definability in Default Logics
Lecture Notes in Computer Science, 2019
Alternative Approaches to Default Logic
Artificial Intelligence, 1994
Prolog technology for default reasoning: proof theory and compilation techniques
Artificial Intelligence, 1998
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence, 2008
1997: Probabilistic default logic based on irrelevance and relevance assumptions
Lecture Notes in Computer Science, 1997
A Theorem of the Degree of Complexity of Some Sentential Logics
1980
Recursively saturated models of set theory
Proceedings of the American Mathematical Society, 1980
Outlier detection in default logics: the tractability/intractability frontier
An Intuitionistic ALC Description Default Logic
More on Modal Aspects of Default Logic1
Fundamenta Informaticae, 1992
A Default Logic Patch for Default Logic
Lecture Notes in Computer Science, 2009
Darr - a Theorem Prover for Constrained and Rational Default Logics
2002
KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning
Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System
AAAI Conference on Artificial Intelligence, 1990