document: Yet some more complexity results for default logic 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
doc_bio_tags: O O O B I O B I O O O O B I O O O O O O O B O O O O O O O B I O O O O O O O O O O B O O O O O O O O O O O O O O O O O O O O O B I O O O O O O O O O O O O O O O O O O B I I O O O O B I O O O O O O O O O O
extractive_keyphrases: reasoning default logic complexity results extended logic programs tractable subsets
abstractive_keyphrases: complexity classes nonmonotonic reasoning