Hidden protocols: modifying our expectations in an evolving world
From MaRDI portal
Publication:490513
DOI10.1016/j.artint.2013.12.001zbMath1334.68232OpenAlexW2050963409MaRDI QIDQ490513
Yanjing Wang, Rineke Verbrugge, Sujata Ghosh, Hans P. van Ditmarsch
Publication date: 27 August 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2013.12.001
Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)
Related Items (4)
Arbitrary arrow update logic ⋮ Unnamed Item ⋮ True lies ⋮ Intensional protocols for dynamic epistemic logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Action emulation
- On axiomatizations of public announcement logic
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
- Logics of communication and change
- Learning to apply theory of mind
- Merging frameworks for interaction
- Knowledge forgetting: properties and applications
- A guide to completeness and complexity for modal logics of knowledge and belief
- A knowledge based semantics of messages
- Action emulation between canonical models
- Knowledge and communication: A first-order theory
- The undecidability of iterated modal relativization
- Creating collective intention through dialogue
- A logic for extensional protocols
- Reasoning about Protocol Change and Knowledge
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
- Dynamic Epistemic Logic and Knowledge Puzzles
- Control System Dynamics
- Knowledge-based programs
- Derivatives of Regular Expressions
This page was built for publication: Hidden protocols: modifying our expectations in an evolving world
