Results on translating defaults to circumscription
Artificial Intelligence
On the relation between default and autoepistemic logic
Artificial Intelligence
Structural complexity 1
A unifying framework for nonmonotonic reasoning
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Propositional circumscription and extended closed-world reasoning are &Pgr;p2-complete
Theoretical Computer Science
On the decidability and complexity of autoepistemic reasoning
Fundamenta Informaticae - Special issue on modal logics in knowledge representation
The complexity of propositional closed world reasoning and circumscription
Journal of Computer and System Sciences
Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
On embedding default logic into Moore's autoepistemic logic
Artificial Intelligence
Querying disjunctive databases through nonmonotonic logics
Theoretical Computer Science
Is intractability of nonmonotonic reasoning a real drawback?
Artificial Intelligence
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Representation theory for default logic
Annals of Mathematics and Artificial Intelligence
Separating Disbeliefs from Beliefs in Autoepistemic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
Infinitary Default Logic for Specification of Nonmonotonic Reasoning
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Semantical considerations on nonmonotonic logic
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
The comparative linguistics of knowledge representation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Modal interpretations of default logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
dl2asp: implementing default logic via answer set programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
First-order Non-monotonic Modal Logics
Fundamenta Informaticae
Hi-index | 0.00 |
This paper concentrates on comparing the relative expressive power of five non-monotonic logics that have appeared in the literature. The results on the computational complexity of these logics suggest that these logics have very similar expressive power that exceeds that of classical monotonic logic. A refined classification of non-monotonic logics by their expressive power can be obtained using translation functions that satisfy additional requirements such as faithfulness and modularity used by Gottlob. Basically, we adopt Gottlob's framework for our analysis, but propose a weaker notion of faithfulness. A surprising result is deduced in light of Gottlob's results: Moore's autoepistemic logic is less expressive than Reiter's default logic and Marek and Truszczynski's strong autoepistemic logic. The expressive power of priority logic by Wang et al. is also analyzed and shown to coincide with that of default logic. Finally, we present an exact classification of the non-monotonic logics under consideration in the framework proposed in the paper.