Computational logic in multi-agent systems: 10th international workshop, CLIMA-X 2009, hamburg, germany, september 9-10, 2009, revised selected and invited papers

This book constitutes the thoroughly refereed and revised post-conference proceedings of the 10th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA X, held in Hamburg, Germany, in September 2009 - co-located with MATES 2009, the 7th German conference on Multi-Agent System Technologies. The 9 full papers, presented together with one invited paper, were carefully selected and reviewed from 18 submissions. The topics covered are formal approaches and model checking, belief-desire-intention, answer set programming and (multi-)agent systems, and coordination and deliberation. High quality selected papers. Unique visibility. State of the art research.

• ISBN: 978-3-642-16866-6
• Editorial: Springer Berlin Heidelberg
• Encuadernacion: Rústica
• Páginas: 197
• Fecha Publicación: 29/10/2010
• Nº Volúmenes: 1
• Idioma: Inglés