Computational logic in multi-agent systems: 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings

This book constitutes the proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI, held in Lisbon, Portugal,in August 2010. The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition 4 invited talks are presented. The purpose ofthe CLIMA workshops is to provide a forum for discussing techniques, based oncomputational logic, for representing, programming and reasoning about agentsand multi-agent systems in a formal way. This volume features two thematic special sessions: norms and normative multi-agent systems and logics for games and strategic reasoning. fast-track conference proceedings

• ISBN: 978-3-642-14976-4
• Editorial: Springer
• Encuadernacion: Rústica
• Páginas: 257
• Fecha Publicación: 05/08/2010
• Nº Volúmenes: 1
• Idioma: Inglés