Knowledge in multiagent systems
From MaRDI portal
Publication:5738907
DOI10.1145/359496.359527zbMath1365.68423OpenAlexW2170920603MaRDI QIDQ5738907
No author found.
Publication date: 13 June 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/359496.359527
Analysis of algorithms and problem complexity (68Q25) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)
Related Items (8)
Interpreted systems and Kripke models for multiagent systems from a categorical perspective ⋮ Logics of Rational Interaction ⋮ Symbolic Model Checking for Dynamic Epistemic Logic ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Possible Worlds Semantics Based on Observation and Communication ⋮ A simplicial complex model for dynamic epistemic logic to study distributed task computability ⋮ Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom
This page was built for publication: Knowledge in multiagent systems
