Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers

This book constitutes the strictly refereed post-proceedings of the 6th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VI. The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project.

Résumé

This book constitutes the strictly refereed post-proceedings of the 6th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VI. The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project.

Détails du produit

• Collaboration: Torroni (Editeur), Francesca Toni (Editeur), Torroni (Editeur), Francesc Toni (Editeur), Paolo Torroni (Editeur)
• Edition: Springer, Berlin
• Contenu: Livre
• Forme du produit: Livre de poche
• Date de parution: 19.02.2009
• Catégorie: Sciences naturelles, médecine, it, technique > Informatique, ordinateurs > Informatique
• EAN: 9783540339960
• ISBN: 978-3-540-33996-0
• Nombre de pages: 430
• Illustrations: XVIII, 430 p.
• Dimensions (emballage): 15,5 x 23,5 cm
• Poids (emballage): 630 g
• Thème: Lecture Notes in Computer Science > 3900; Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence > Vol.3900; Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
• Catégories: C, Artificial Intelligence, Netzwerk-Hardware, Theoretische Informatik, computer science, Verification, Programming, Computer Communication Networks, Mathematical theory of computation, Mathematical logic, Mathematical Logic and Formal Languages, Computer communication systems, Semantics, Network hardware, Formal Languages and Automata Theory, multi-agent system, multi-agent systems