
Computational Logic in Multi-Agent Systems
12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
Springer (Publisher)
1st Edition
Published on 6. July 2011
Book
Paperback/Softback
XV, 383 pages
978-3-642-22358-7 (ISBN)
Description
This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011.
The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice, cooperation, logic and languages, and norms and normative multi-agent systems.
The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice, cooperation, logic and languages, and norms and normative multi-agent systems.
More details
Series
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XV, 383 p.
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
611 gr
ISBN-13
978-3-642-22358-7 (9783642223587)
DOI
10.1007/978-3-642-22359-4
Schweitzer Classification
Other editions
Additional editions

Joao Leite | Paolo Torroni | Thomas Agotnes
Computational Logic in Multi-Agent Systems
12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
E-Book
09/2011
Springer
€53.49
Available for download