Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli. Verifiable Semantic Model for Agent Interactions Using Social Commitments. In Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni, editors, Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers. Volume 6039 of Lecture Notes in Computer Science, pages 128-152, Springer, 2009. [doi]
Abstract is missing.