|
|
|
Accepted Papers
The Program Committee has selected 5 papers for presentation at the workshop:
- Constraints among Commitments: Regulative Specification of Interaction Protocols
Matteo Baldoni, Cristina Baroglio and Elisa Marengo
- Protocol Refinement: Formalization and Verification
Scott Gerard and Munindar Singh
- Counter-proposal: A Multi-Agent Negotiation Protocol for Resolving Resource Contention in Open Control Systems
Jan Corfixen Sørensen and Bo Nørregaard Jørgensen
- Verifying Conformance of Commitment Protocols via Symbolic Model Checking
Mohamed El-Menshawy, Jamal Bentahar, Wei Wan and Rachida Dssouli
- The Logic of Conversation : From Speech Acts to the Logic of Games
Michel A. Paquette
|
