Verification and compliance testing

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2650, Issue , 2003, Pages 98-112

  Guerin, Prank ^a   Pitt, Jeremy ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; MARKETING; MATHEMATICAL MODELS; REGULATORY COMPLIANCE; SEMANTICS; SPECIFICATIONS; SPEECH COMMUNICATION; TESTING;

AGENT COMMUNICATION; COMMUNICATION LANGUAGES; COMPUTATIONAL MODELS; LEGALLY BINDING CONTRACTS;

MULTI AGENT SYSTEMS;

EID: 22944473913     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-44972-0_4     Document Type: Conference Paper

References (14)

1. R. Axelrod. The evolution of cooperation. Basic Books, New York, 1984.
2. R. M. v. Eijk. Programming Languages for Agent Communication. PhD thesis, Department of Information and Computing Sciences, Utrecht University, 2000.
3. FIPA. [FIPA OC00003] FIPA 97 Part 2 Version 2.0: Agent Communication Language Specification. In Website of the Foundation for Intelligent Physical Agents. http://www.fipa.org/specs/fipa2000.tar.gz, 1997.
4. F. Guerin. Specifying Agent Communication Languages. PhD thesis, Department of Electrical and Electronic Engineering, Imperial College, UK, 2002.
5. F. Guerin and J. Pitt. Guaranteeing properties for e-commerce systems. In Autonomous Agents 2002 Workshop on Agent Mediated Electronic Commerce IV: Designing Mechanisms and Systems, Bologna, 2002.
6. Y. Kesten, Z. Manna, and A. Pnueli. Verifying clocked transition systems. In Hybrid Systems III, LNCS vol. 1066, pages 13-40. Springer-Verlag, Berlin, 1996.
7. Y. Labrou and T. Finin. A semantics approach for kqml - a general purpose communication language for software agents. In Third International Conference on Information and Knowledge Management (CIKM'94), pages 447-455, 1994.
8. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems (Safety), vol. 2. Springer-Verlag, New York, Inc., 1995.
9. J. Pitt and A. Mamdani. A protocol-based semantics for an agent communication language. In Proceedings 16th International Joint Conference on Artificial Intelligence IJCAI'99, Stockholm, pages 486-491. Morgan-Kaufmann Publishers, 1999.
10. J. Pitt and A. Mamdani. Some remarks on the semantics of FIPA's agent communication language. Autonomous Agents and Multi-Agent Systems, 4:333-356, 1999.
11. M. Singh. A social semantics for agent communication languages. In IJCAI Workshop on Agent Communication Languages, Springer-Verlag, Berlin., 2000.
12. M. Wooldridge. Verifiable semantics for agent communication languages. In ICMAS'98, 1998.
13. M. Wooldridge. Verifying that agents implement a communication language. In Sixteenth National Conference on Artificial Intelligence (AAAI-99), Orlando, FL, (July 1999), 1999.
14. M. Wooldridge. Semantic issues in the verification of agent communication languages. Journal of Autonomous Agents and Multi-Agent Systems, 3(1):9-31, 2000.