Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8624)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: CLIMA 2014.
Buy print copy
Tax calculation will be finalised at checkout
About this book
The 12 regular papers were carefully reviewed and selected from 20 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 edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning, and social choice.
Similar content being viewed by others
Keywords
Table of contents (12 papers)
-
Logics for Agreement Technologies
-
Logics for Games, Strategic Reasoning, 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: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
Editors: Nils Bulling, Leendert Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-09764-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2014
Softcover ISBN: 978-3-319-09763-3Published: 04 August 2014
eBook ISBN: 978-3-319-09764-0Published: 21 July 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 199
Number of Illustrations: 22 b/w illustrations
Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Information Systems Applications (incl. Internet)