On the decidability and complexity of reasoning about only knowing
From MaRDI portal
Publication:1978243
DOI10.1016/S0004-3702(99)00083-1zbMATH Open0939.68838WikidataQ64360229 ScholiaQ64360229MaRDI QIDQ1978243FDOQ1978243
Publication date: 4 June 2000
Published in: Artificial Intelligence (Search for Journal in Brave)
Recommendations
Cites Work
- Title not available (Why is that?)
- A guide to completeness and complexity for modal logics of knowledge and belief
- Ground Nonmonotonic Modal Logics
- Semantical considerations on nonmonotonic logic
- Decidable fragments of first-order modal logics
- Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
- All I know: A study in autoepistemic logic
- Complexity Results for Nonmonotonic Logics
- Title not available (Why is that?)
- Foundations of a functional approach to knowledge representation
- Title not available (Why is that?)
- Multi-agent only knowing
- What should a database know?
- Limited reasoning in first-order knowledge bases with full introspection
- Levesque's axiomatization of only knowing is incomplete
- Title not available (Why is that?)
- Minimal belief and negation as failure
- NP trees and Carnap's modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reasoning about minimal knowledge in nonmonotonic modal logics
- Title not available (Why is that?)
- Minimal knowledge problem: A new approach
- Title not available (Why is that?)
Cited In (14)
- A sound and complete proof theory for the generalized logic of only knowing
- A sound and complete tableau calculus for reasoning about only knowing and knowing at most
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semantical considerations on multiagent only knowing
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logics in Artificial Intelligence
- Levesque's axiomatization of only knowing is incomplete
- Only knowing with degrees of confidence
- Title not available (Why is that?)
- Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report
This page was built for publication: On the decidability and complexity of reasoning about only knowing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978243)
