Computational Logic in Multi-Agent Systems
11th International Workshop
Lisbon, Portugal, August 16-17, 2010

11th 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 11th edition of CLIMA will be affiliated with ECAI'10 and will take place in Lisbon, Portugal, on the 16th and 17th of August 2010. 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 Strategic Reasoning

More information about the Special Sessions can be found here.

Invited Talks

  • Thomas Ågotnes: Group Announcements: Logic and Games
  • Ron van der Meyden: Games, Norms and Strategic Notions in Information Flow Security
  • Toby Walsh: Is Computational Complexity a Barrier to Manipulation?
  • Stefan Woltran: Strong Equivalence in Argumentation

Publications

CLIMA's Proceedings will be published by Springer as a volume in the LNAILecture Notes in Computer Science. The proceedings will be published in time for the workshop.

After the workshop, authors of seleted papers will be invited to extend and re-submit tAnnals of Mathematics and Artificial Intelligenceheir work to be considered for inclusion in a CLIMA Special Issue of Annals of Mathematics and Artificial Intelligence.

Participation

At least one author of each accepted paper is expected to attend CLIMA XI. All CLIMA XI participants must register with ECAI'10.

All enquiries to clima2010@easychair.org