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 (6)

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

This page was built for publication: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols