Computational Logic in Multi-Agent Systems, 2007 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers Lecture Notes in Artificial Intelligence Series
Coordonnateurs : Inoue Katsumi, Satoh Ken, Toni Francesca
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006. It was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The series of workshops presents current work on application of general and declarative theories.
Date de parution : 01-2007
Ouvrage de 318 p.
15.5x23.3 cm
Thème de Computational Logic in Multi-Agent Systems :
Mots-clés :
autonom; autonomous agents; communication; logic; multi-agent system; probabilistic reasoning; semantics; verification