A communication algorithm for teamwork in multi-agent environments

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)

zbMATH Keywords

epistemic logicdialoguecommunication protocolteamwork

Mathematics Subject Classification ID

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