Proving properties of open agent systems

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue 1, 2002, Pages 557-558

  Guerin, Frank ^a   Pitt, Jeremy ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; GAME THEORY; NETWORK PROTOCOLS; SEMANTICS;

AGENT COMMUNICATION LANGUAGE (ACL); DISTRIBUTED ARTIFICIAL INTELLIGENCE; OPEN AGENT SYSTEMS;

MULTI AGENT SYSTEMS;

EID: 0036355299     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/544865.544873     Document Type: Conference Paper

References (5)

1. Denotational semantics for agent communication languages
2. Agent communication languages: Rethinking the principles