Semantical considerations on nonmonotonic logic
Artificial Intelligence
On the relation between default and autoepistemic logic
Artificial Intelligence
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
A logic of knowledge and justified assumptions
Artificial Intelligence
Minimal knowledge problem: a new approach
Artificial Intelligence
Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
A Preference Semantics for Ground Nonmonotonic Modal Logics
EPIA '95 Proceedings of the 7th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Nonmonotonic Default Modal 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
Complexity of Only Knowing: The Propositional Case
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Non-first-order features in concept languages
AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
Reasoning with minimal belief and negation as failure: algorithms and complexity
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A Default Logic Based On Epistemic States
Fundamenta Informaticae
Real-time animation and motion capture in Web human director (WHD)
VRML '00 Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML)
Hi-index | 0.00 |
We study the problem of embedding Halpern and Moses‘s modal logic ofminimal knowledge states into two families of modal formalism fornonmonotonic reasoning, McDermott and Doyle‘s nonmonotonic modal logicsand ground nonmonotonic modal logics. First, we prove that Halpern andMoses‘s logic can be embedded into all ground logics; moreover, thetranslation employed allows for establishing a lower bound (Π3p) forthe problem of skeptical reasoning in all ground logics. Then, we show atranslation of Halpern and Moses‘s logic into a significant subset ofMcDermott and Doyle‘s formalisms. Such a translation both indicates theability of Halpern and Moses‘s logic of expressing minimal knowledgestates in a more compact way than McDermott and Doyle‘s logics, and allowsfor a comparison of the epistemological properties of such nonmonotonicmodal formalisms.