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, held in London, UK, in June 2005. The series of workshops presents current work on application of general and declarative theories grounded on computational logic to multi-agent systems specification, semantics and procedures, and confronts ideas such as autonomy, deliberation, knowledge, commitment, openness, trust, with the computational logic paradigms. This research has encouraged the use of formal approaches to multi-agent systems research, and it has dealt with disparate issues such as implementations, environments, tools, and verification of computational systems. The 14 revised full technical papers, 4 contest papers, and 7 invited papers presented together with 1 invited article were carefully selected from 30 submissions and went through two rounds of reviewing and improvement. The papers of this state-of-the-art survey are devoted to techniques from computational logic for representing, programming, and reasoning about multi-agent systems. They 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.