Reasoning about commitments in the event calculus: An approach for specifying and executing protocols

DOI10.1023/B:AMAI.0000034528.55456.d9zbMath1059.68133WikidataQ59764623 ScholiaQ59764623MaRDI QIDQ702111

Munindar P. Singh, Pınar Yolum

Publication date: 17 January 2005

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

multi-agent systemsagent communication languages and protocolscommitments

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items

PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS, Unnamed Item, Where logic and agents meet, Living up to one's commitments: Agency, strategies and trust, Strategic Agent Communication: An Argumentation-Driven Approach, An executable specification of a formal argumentation protocol