Specification and verification of agent interaction protocols in a logic-based system

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2004, Pages 72-86

  Alberti, Marco ^a   Daolio, Davide ^a   Torroni, Paolo ^b   Gavanelli, Marco ^a   Lamma, Evelina ^a   Mello, Paola ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Agents; Computational Logic; Verification

Indexed keywords

AUTONOMOUS AGENTS; COMPUTATION THEORY; COMPUTER HARDWARE; FORMAL LOGIC; JAVA PROGRAMMING LANGUAGE; NETWORK PROTOCOLS; PROLOG (PROGRAMMING LANGUAGE);

COMPUTATIONAL LOGIC; HETEROGENEOUS AGENTS; INTERACTION PROTOCOL;

MULTI AGENT SYSTEMS;

EID: 2442602519     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/967900.967918     Document Type: Conference Paper

References (11)