Producing compliant interactions: Conformance, coverage, and interoperability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4327 LNAI, Issue , 2006, Pages 1-15

  Chopra, Amit K ^a   Singh, Munindar P ^a  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

COMPLIANT INTERACTION; ORTHOGONALITY; TWO AGENTS;

INTEROPERABILITY;

EID: 85013569529     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11961536_1     Document Type: Conference Paper

References (7)

1. M. Alberti, D. Daolio, P. Torroni, M. Gavanelli, E. Lamma, and P. Mello. Specification and verification of agent interaction protocols in a logic-based system. In Proceedings of the 19th ACM Symposium on Applied Computing (SAC 2004), pages 72–78, 2004.
2. M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Verification of protocol conformance and agent interoperability. In 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VI), pages 265–283, 2005.
3. A. K. Chopra and M. P. Singh. Contextualization of commitment protocols. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, 2006.
4. U. Endriss, N. Maudet, F. Sadri, and F. Toni. Protocol conformance for logic-based agents. In Proceedings of the 18th International Joint Conference on Artificial Intelligence, pages 679–684, 2003.
5. E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain, and H. Turner. Nonmonotonic causal theories. Artificial Intelligence, 153(1-2):49–104, 2004.
6. A. U. Mallya and M. P. Singh. An algebra for commitment protocols. Journal of Autonomous Agents and Multiagent Systems special issue on Agent Communication (JAAMAS), Apr 2006.
7. M. Venkatraman and M. P. Singh. Verifying compliance with commitment protocols: Enabling open Web-based multiagent systems. Journal of Autonomous Agents and Multi-Agent Systems, 2(3):217–236, Sept. 1999.