Semantical considerations on nonmonotonic logic
Artificial Intelligence
Possible-world semantics for autoepistemic logic
Readings in nonmonotonic reasoning
On the relation between default and autoepistemic logic
Artificial Intelligence
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
A rational reconstruction of nonmonotonic truth maintenance systems (research note)
Artificial Intelligence
Logic programs with classical negation
Logic programming
Relating autoepistemic and default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Journal of the ACM (JACM)
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Epistemic Semantics for Fixed-Points Non-Monotonic Logics
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
Decision Procedure for Autoepistemic Logic
Proceedings of the 9th International Conference on Automated Deduction
CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
Journal of Logic, Language and Information
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Fundamenta Informaticae
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
Evaluating the effect of semi-normality on the expressiveness of defaults
Artificial Intelligence
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence
On bimodal nonmonotonic logics and their unimodal and nonmodal equivalents
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On the relation between default and modal nonmonotonic reasoning
Artificial Intelligence
On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics
Fundamenta Informaticae
Subnormal modal logics for knowledge representation
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Fundamenta Informaticae
| Hi-index | 0.00 |
Many nonmonotonic formalism, including default logic, logic programming with stable models, and autoepistemic logic, can be represented faithfully by means of modal nonmonotonic logics in the family proposed by McDermott and Doyle. In this paper properties of logics in this family are thoroughly investigated. We present several results on characterization of expansions. These results are applicable to a wide class of nonmonotonic modal logics. Using these characterization results, algorithms for computing expansions for finite theories are developed. Perhaps the most important finding of this paper is that the structure of the family of modal nonmonotonic logics is much simpler than that of the family of underlying modal (monotonic) logics. Namely, it is often the case that different monotonic modal logics collapse to the same nonmonotonic system. We exhibit four families of logics whose nonmonotonic variants coincide: 5-KD45, TW5-SW5, N-WK, and W5-D4WB. These nonmonotonic logics naturally represent logics related to commonsense reasoning and knowledge representation such as autoepistemic logic, reflexive autoepistemic logic, default logic, and truth maintenance with negation.