Agent-Time Epistemics and Coordination
From MaRDI portal
Publication:2936233
DOI10.1007/978-3-642-36039-8_9zbMath1303.03039arXiv1203.5399OpenAlexW1950554995MaRDI QIDQ2936233
Publication date: 6 January 2015
Published in: Logic and Its Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1203.5399
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)
Related Items
Beyond Lamport's Happened-before, Unnamed Item, Known Unknowns: Time Bounds and Knowledge of Ignorance, Timed epistemic knowledge bases for social networks