A communication algorithm for teamwork in multi-agent environments
From MaRDI portal
Publication:5188175
DOI10.3166/JANCL.19.431-461zbMath1186.68449MaRDI QIDQ5188175
Rineke Verbrugge, Egon van Baars
Publication date: 10 March 2010
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Logic in artificial intelligence (68T27) Network protocols (68M12) Agent technology and artificial intelligence (68T42)
Cites Work
- Unnamed Item
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem
- Creating collective intention through dialogue
- Knowledge and common knowledge in a distributed environment
- Complete Axiomatizations for Reasoning about Knowledge and Time
- The cooperative problem-solving process
- LTL model checking for security protocols
- Automatic verification of temporal-epistemic properties of cryptographic protocols
This page was built for publication: A communication algorithm for teamwork in multi-agent environments