Overview
- Fast rack conference proceedings
- Unique visuability
- State of the art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6814)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: CLIMA 2011.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (25 papers)
-
Logics for Games and Social Choice
Other volumes
-
Computational Logic in Multi-Agent Systems
Editors and Affiliations
Bibliographic Information
Book Title: Computational Logic in Multi-Agent Systems
Book Subtitle: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
Editors: João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-22359-4
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Berlin Heidelberg 2011
Softcover ISBN: 978-3-642-22358-7Published: 06 July 2011
eBook ISBN: 978-3-642-22359-4Published: 18 September 2011
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 383
Topics: Artificial Intelligence, Software Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Computer Communication Networks, Programming Languages, Compilers, Interpreters