Commitment Machines
- 21 June 2002
- book chapter
- Published by Springer Nature
- p. 235-247
- https://doi.org/10.1007/3-540-45448-9_17
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Interaction protocols in AgentisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Designing conversation policies using joint intention theoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Using Colored Petri Nets for Conversation ModelingPublished by Springer Nature ,2000
- Verifying Compliance with Commitment ProtocolsAutonomous Agents and Multi-Agent Systems, 1999
- An ontology for commitments in multiagent systems:Artificial Intelligence and Law, 1999
- On the Formal Specification and Verification of Multi-Agent SystemsInternational Journal of Cooperative Information Systems, 1997