Yet some more complexity results for default logic

Rachel Ben-Eliyahu-Zohary

Research output: Contribution to journalArticlepeer-review

9 Scopus citations


We identify several new tractable subsets and several new intractable simple cases for reasoning in the propositional version of Reiter's default logic. The majority of our findings are related to brave reasoning. By making some intuitive observations, most classes that we identify can be derived quite easily from some subsets of default logic already known in the literature. Some of the subsets we discuss are subclasses of the so-called "extended logic programs". All the tractable subsets presented in this paper can be recognized in linear time.

Original languageEnglish
Pages (from-to)1-20
Number of pages20
JournalArtificial Intelligence
Issue number1
StatePublished - 1 Jul 2002


  • Complexity classes
  • Default logic
  • Nonmonotonic reasoning


Dive into the research topics of 'Yet some more complexity results for default logic'. Together they form a unique fingerprint.

Cite this