Computational Logic in Multi-Agent Systems
12th International Workshop
Barcelona, Spain, July 17-18, 2011

12th International Workshop on Computational Logic in Multi-Agent Systems

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. More information about the series os CLIMA workshops, including its previous editions and publications, can be found here.

The 12th edition of CLIMA will be affiliated with IJCAI'11 and will take place in Barcelona, Spain, between the 17th and 18th of July 2011. The Call for Papers, including the list of relevant topics, can be found here.

In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions:

  • Norms and Normative Multi-Agent Systems
  • Logics for Games and Social Choice

More information about the Special Sessions can be found here.

Invited Talks

  • Jan Broersen: Probabilistic Action and Deontic Logic
  • Ulle Endriss: Applications of Logic in Social Choice Theory
  • Simon Parsons: Some Thoughts on Using Argumentation to Handle Trust


Proceedings: João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella and Leon van der Torre (Eds.), Computational Logic in Multi-Agent Systems, 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Volume 6814 of the Lecture Notes in Computer Science, Springer, 2011.

Report: João Leite and Paolo Torroni, Computational Logic in Multi-Agent Systems, The Reasoner 5(11):186-187, ISSN 1757-052, November 2011.

LNAIA preview of the Preface and Table of Contents is available here. The proceedings were published in time for the workshop. 

Special Issue: After the workshop, authors of seleted papers will be invited to extend and re-submit Journal of Logic and Cmputationtheir work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation.


At least one author of each accepted paper is expected to attend CLIMA XII.

All enquiries to