On the decidability and complexity of reasoning about only knowing
From MaRDI portal
Publication:1978243
Recommendations
Cites work
- scientific article; zbMATH DE number 3930375 (Why is no real title available?)
- scientific article; zbMATH DE number 7817 (Why is no real title available?)
- scientific article; zbMATH DE number 97788 (Why is no real title available?)
- scientific article; zbMATH DE number 97792 (Why is no real title available?)
- scientific article; zbMATH DE number 478394 (Why is no real title available?)
- scientific article; zbMATH DE number 695095 (Why is no real title available?)
- scientific article; zbMATH DE number 1142309 (Why is no real title available?)
- scientific article; zbMATH DE number 4197473 (Why is no real title available?)
- A guide to completeness and complexity for modal logics of knowledge and belief
- All I know: A study in autoepistemic logic
- Complexity Results for Nonmonotonic Logics
- Decidable fragments of first-order modal logics
- Foundations of a functional approach to knowledge representation
- Ground Nonmonotonic Modal Logics
- Levesque's axiomatization of only knowing is incomplete
- Limited reasoning in first-order knowledge bases with full introspection
- Minimal belief and negation as failure
- Minimal knowledge problem: A new approach
- Multi-agent only knowing
- NP trees and Carnap's modal logic
- Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
- Reasoning about minimal knowledge in nonmonotonic modal logics
- Semantical considerations on nonmonotonic logic
- What should a database know?
Cited in
(14)- scientific article; zbMATH DE number 847984 (Why is no real title available?)
- scientific article; zbMATH DE number 1859179 (Why is no real title available?)
- scientific article; zbMATH DE number 1612564 (Why is no real title available?)
- A sound and complete proof theory for the generalized logic of only knowing
- scientific article; zbMATH DE number 7307086 (Why is no real title available?)
- Levesque's axiomatization of only knowing is incomplete
- Logics in Artificial Intelligence
- scientific article; zbMATH DE number 695095 (Why is no real title available?)
- Only knowing with degrees of confidence
- Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report
- scientific article; zbMATH DE number 6606375 (Why is no real title available?)
- scientific article; zbMATH DE number 67507 (Why is no real title available?)
- Semantical considerations on multiagent only knowing
- A sound and complete tableau calculus for reasoning about only knowing and knowing at most
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)
