Semantical considerations on multiagent only knowing
From MaRDI portal
Publication:892188
DOI10.1016/J.ARTINT.2015.02.005zbMATH Open1343.68231OpenAlexW1981270069MaRDI QIDQ892188FDOQ892188
Vaishak Belle, Gerhard Lakemeyer
Publication date: 18 November 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2015.02.005
Recommendations
Knowledge representation (68T30) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- How to progress a database
- The logic of knowledge bases
- Title not available (Why is that?)
- Knowledge, action, and the frame problem
- A logic for default reasoning
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- Semantical considerations on nonmonotonic logic
- All I know: A study in autoepistemic logic
- Foundations of a functional approach to knowledge representation
- A model-theoretic analysis of knowledge
- Multi-agent only knowing
- A Semantical Account of Progression in the Presence of Defaults
- Sequent calculi for propositional nonmonotonic logics
- The Complexity of Theorem Proving in Autoepistemic Logic
- Title not available (Why is that?)
- Levesque's axiomatization of only knowing is incomplete
- A general approach to multi-agent minimal knowledge: With tools and samples
- On the decidability and complexity of reasoning about only knowing
- Only knowing with degrees of confidence
- Epistemic models of shallow depths and decision making in games: Horticulture
- Consistency proofs for systems of multi-agent only knowing
Cited In (8)
- Title not available (Why is that?)
- Logical Spaces in Multi-agent Only Knowing Systems
- A theory of knowledge and ignorance for many agents
- Multi-agent only knowing
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- Multi-agent Explicit Knowledge
- Consistency proofs for systems of multi-agent only knowing
- Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report
This page was built for publication: Semantical considerations on multiagent only knowing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q892188)
