Verifying that agents implement a communication language

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 1999, Pages 52-57

  Wooldridge, Michael ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; DATA COMMUNICATION SYSTEMS; MATHEMATICAL MODELS;

COMMUNICATION LANGUAGES; COMPUTATIONAL MODEL; MULTI AGENT SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 0032596648     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (13)