Computational Logic in MultiAgent Systems 
CLIMA 
About the CLIMA workshop series 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 multiagent systems in a formal way. MultiAgent Systems are communities of problemsolving entities that can perceive and act upon their environment to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, from search engines to educational aids to electronic commerce and trade, eprocurement, recommendation systems, simulation and routing, to cite only some. Computational logic provides a welldefined, general, and rigorous framework for studying syntax, semantics and procedures for various tasks by individual agents, as well as interaction amongst agents in multiagent systems, for implementations, environments, tools, and standards, and for linking together specification and verification of properties of individual agents and multiagent systems.
Topics of Interest include: · logical foundations of multiagent systems · knowledge and belief representation and updates in multiagent systems · agent and multiagent hypothetical reasoning and learning · extensions of logic programming for multiagent systems · nonmonotonic reasoning in multiagent systems · theory and practice of argumentation for agent reasoning and interaction · operational semantics and execution agent models · model checking algorithms, tools, and applications for multiagent logics · semantics of interaction and agent communication languages · distributed constraint satisfaction in multiagent systems · temporal reasoning for multiagent systems · modal logic approaches to multiagent systems · logic based programming languages for multiagent systems · distributed theorem proving for multiagent systems · logic based implementations of multiagent systems · decision theory for multiagent systems · specification and verification of formal properties of agent systems
About the CLIMA programming contest The CLIMA contest is an attempt to stimulate research in the area of multiagent systems by identifying key problems and collecting suitable benchmarks that can serve as milestones for testing new approaches and techniques based on computational logics. While there exist several competitions in various parts of artificial intelligence (theorem proving, planning, robocup etc) and, lately, also in specialised areas in agent systems (trading agents), the emphasis of this contest is on the use of computational logic in multiagent systems. The CLIMA contest expects to promote the development of multiagent systems by first identifying difficult problems and then finding solutions by comparing different approaches that use computational logic. While this idea seems very appealing, it is not an easy task to come up with a particular scenario that serves as a basis for a contest. Such a scenario should be generic enough to be applicable for a wide range of techniques of computational logic, but it should also be precise enough so that different approaches can be tested and compared against each other.
CLIMA Publications J. Leite, P. Torroni, T. Agotnes, G. Boella and L. van der Torre, Computational Logic and MultiAgent Systems, Journal of Logic and Computation, 2013 (to appear). M. Fisher, L. van der Torre, M. Dastani and G. Governatori (Eds.): Computational Logic in MultiAgent Systems. 13th International Workshop, CLIMA XIII, Montpellier, France, August 2728, 2012, Proceedings. Vol. 7486 of Lecture Notes in Artificial Intelligence. Softcover. Heidelberg: Springer. ISBN 9783642328961, 2012. J. Dix and J. Leite (eds.), Computational Logic and MultiAgent Systems, Annals of Mathematics and Artificial Intelligence, 62(12), ISSN: 10122443, 2011. J. Leite, P. Torroni, T. Agotnes, G. Boella and L. van der Torre, Computational Logic in MultiAgent Systems. 12th International Workshop, CLIMA XII, Barcelona, Spain, July 1718, 2011, Proceedings. Vol. 6814 of Lecture Notes in Artificial Intelligence. Xv+383 p. Softcover. Heidelberg: Springer. ISBN 9783642223587 , 2011. J. Dix, J. Leite, G. Governatori and W. Jamroga (eds.), Computational Logic in MultiAgent Systems. 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 1617, 2010, Proceedings. Vol. 6245 of Lecture Notes in Artificial Intelligence. Xiv+258 p. Softcover. Heidelberg: Springer. ISBN: 9783642149764, 2010. M. Fisher, F. Sadri, M. Thielscher (eds.), Computational Logic in MultiAgent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 2930, 2008. Revised Selected and Invited Papers. Vol. 5405 of Lecture Notes in Artificial Intelligence. Softcover. Heidelberg: SpringerVerlag. ISBN 978364202733, 2009. F. Sadri and K. Satoh (eds.), Computational Logic in MultiAgent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 1011, 2007. Revised Selected and Invited Papers . Vol. 5056 of Lecture Notes in Artificial Intelligence. x + 299 p. Softcover. Heidelberg: SpringerVerlag. ISBN: 9783540888321, 2008. K. Inoue, K. Satoh and F. Toni (eds.), Computational Logic in MultiAgent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 89, 2006, Revised Selected and Invited Papers. Vol. 4371 of Lecture Notes in Artificial Intelligence. x + 315 p. Softcover. Heidelberg: SpringerVerlag. ISBN: 3540696180, 2007. F. Toni and P. Torroni (eds.), Computational Logic in MultiAgent Systems, 6th International Workshop, CLIMA VI, London, UK, June 2729, 2005, Revised Selected and Invited Papers. Vol. 3900 of Lecture Notes in Artificial Intelligence. xvii + 427 p. Softcover. Heidelberg: SpringerVerlag. ISBN: 9783540339960, 2006. J. Leite and P. Torroni (eds.), Computational Logic in MultiAgent Systems. 5th International Workshop, CLIMA V, Lisbon, Portugal, September 2930, 2004, Revised Selected and Invited Papers. Vol. 3487 of Lecture Notes in Artificial Intelligence. xii + 281 p. Softcover. Heidelberg: SpringerVerlag. ISBN: 354028060X, 2005. J. Dix and J. Leite (eds.), Computational Logic in MultiAgent Systems. 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 67, 2004, Revised Selected and Invited Papers. Vol. 3259 of Lecture Notes in Artificial Intelligence. XII + 251 p. Softcover. Heidelberg: SpringerVerlag. ISBN: 3540240101, 2004. J. Leite and P. Torroni (eds.), Proceedings of the 5th International Workshop on Computational Logic in MultiAgent Systems, CLIMA V, pp x + 260, Lisbon, Portugal, ISBN: 9729119376, September 2004. [PDF] J. Dix, J. A. Leite and K. Satoh (eds.), Computational Logic and MultiAgent Systems, Annals of Mathematics and Artificial Intelligence, 42(13), ISSN: 10122443, 2004. J. Dix and J. A. Leite (eds.), Proceedings of the 4th International Workshop on Computational Logic in MultiAgent Systems, CLIMA IV. ITZ Bericht Band 1 Heft 5, x + 229 p. Softcover, PAPIERFLIEGER, ClausthalZellerfeld, ISBN 3897206889, 2003. [PDF] J. Dix, F. Sadri and K. Satoh (eds.), Computational Logic and MultiAgent Systems, Annals of Mathematics and Artificial Intelligence, 37(12), ISSN: 10122443, 2003. J. Dix, J. A. Leite and K. Satoh (eds.), Proceedings of the 3rd International Workshop on Computational Logic in MultiAgent Systems, (CLIMA'02), Electronic Notes in Theoretical Computer Science 70(5), ISBN: 0444512985, 2002. J. Dix, J. A. Leite and K. Satoh (eds.), PreProceedings of the 3rd International Workshop on Computational Logic in MultiAgent Systems, (CLIMA'02), pp x + 181, no. 93 of Datalogiske Skrifter (Writings on Computer Science), Roskilde University, Denmark, ISSN 01099779, 2002. [PDF] 
Next Workshop Edition CLIMA XIV — La Coruna, Spain, 2013
Previous Workshop Editions CLIMA XIII — Montpellier, France, 2012 CLIMA XII — Barcelona, Spain, 2011 CLIMA XI — Lisbon, Portugal, 2010 CLIMA X — Hamburg, Germany, 2009 CLIMA IX — Dresden, Germany, 2008 CLIMA VIII — Porto, Portugal, 2007 CLIMA VII — Hakodate, Japan, 2006 CLIMA VI — London, UK, 2005 CLIMA V — Lisbon, Portugal, 2004 CLIMA IV — Fort Lauderdale, Fl, USA, 2004 CLIMA III — Copenhagen, Denmark, 2002 CLIMA II — Paphos, Cyprus, 2001 CLIMA I — London, UK, 2000 MASLP — Las Cruces, USA, 1999
Contest Editions 2nd CLIMA Contest — Hakodate, Japan, 2006 1st CLIMA Contest — London, UK, 2005
Steering Committee Thomas Ågotnes, University of Bergen, Norway Michael Fisher, University of Liverpool, UK Katsumi Inoue, National Institute of Informatics, Japan João Leite, New University of Lisbon, Portugal Leon van der Torre, Univ. of Luxembourg, Luxembourg
Former Steering Committee Members Jürgen Dix, Technical University of Clausthal, Germany Fariba Sadri, Imperial College London, UK Ken Satoh, National Institute of Informatics, Japan Francesca Toni, Imperial College London, UK Paolo Torroni, University of Bologna, Italy
