Computational Logic in Multi-Agent 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 multi-agent systems in a formal way.

Multi-Agent Systems are communities of problem-solving 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, e-procurement, recommendation systems, simulation and routing, to cite only some.

Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for various tasks by individual agents, as well as interaction amongst agents in multi-agent systems, for implementations, environments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems.

 

Topics of Interest include:

· logical foundations of multi-agent systems

· knowledge and belief representation and updates in multi-agent systems

· agent and multi-agent hypothetical reasoning and learning

· extensions of logic programming for multi-agent systems

· non-monotonic reasoning in multi-agent systems

· theory and practice of argumentation for agent reasoning and interaction

· operational semantics and execution agent models

· model checking algorithms, tools, and applications for multi-agent logics

· semantics of interaction and agent communication languages

· distributed constraint satisfaction in multi-agent systems

· temporal reasoning for multi-agent systems

· modal logic approaches to multi-agent systems

· logic based programming languages for multi-agent systems

· distributed theorem proving for multi-agent systems

· logic based implementations of multi-agent systems

· decision theory for multi-agent 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 multi-agent 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 multi-agent systems.

The CLIMA contest expects to promote the development of multi-agent 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 Multi-Agent Systems, Journal of Logic and Computation, 2013 (to appear).

M. Fisher, L. van der Torre, M. Dastani and G. Governatori (Eds.): Computational Logic in Multi-Agent Systems. 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings. Vol. 7486 of Lecture Notes in Artificial Intelligence. Softcover. Heidelberg: Springer. ISBN 978-3-642-32896-1, 2012.

J. Dix and J. Leite (eds.), Computational Logic and Multi-Agent Systems, Annals of Mathematics and Artificial Intelligence, 62(1-2), ISSN: 1012-2443, 2011.

J. Leite, P. Torroni, T. Agotnes, G. Boella and L. van der Torre, Computational Logic in Multi-Agent Systems. 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings. Vol. 6814 of Lecture Notes in Artificial Intelligence. Xv+383 p. Softcover. Heidelberg: Springer. ISBN 978-3-642-22358-7 , 2011.

J. Dix, J. Leite, G. Governatori and W. Jamroga (eds.), Computational Logic in Multi-Agent Systems. 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, Proceedings. Vol. 6245 of Lecture Notes in Artificial Intelligence. Xiv+258 p. Softcover. Heidelberg: Springer. ISBN: 978-3-642-14976-4, 2010.

M. Fisher, F. Sadri, M. Thielscher (eds.), Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers. Vol. 5405 of Lecture Notes in Artificial Intelligence. Softcover. Heidelberg: Springer-Verlag. ISBN 978-3-642-02733, 2009.

F. Sadri and K. Satoh (eds.), Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers . Vol. 5056 of Lecture Notes in Artificial Intelligence. x + 299 p. Softcover. Heidelberg: Springer-Verlag. ISBN: 978-3-540-88832-1, 2008.

K. Inoue, K. Satoh and F. Toni (eds.), Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. Vol. 4371 of Lecture Notes in Artificial Intelligence. x + 315 p. Softcover. Heidelberg: Springer-Verlag. ISBN: 3-540-69618-0, 2007.

F. Toni and P. Torroni (eds.), Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Vol. 3900 of Lecture Notes in Artificial Intelligence. xvii + 427 p. Softcover. Heidelberg: Springer-Verlag. ISBN: 978-3-540-33996-0, 2006.

J. Leite and P. Torroni (eds.), Computational Logic in Multi-Agent Systems. 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers. Vol. 3487 of Lecture Notes in Artificial Intelligence. xii + 281 p. Softcover. Heidelberg: Springer-Verlag. ISBN: 3-540-28060-X, 2005.

J. Dix and J. Leite (eds.), Computational Logic in Multi-Agent Systems. 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers. Vol. 3259 of Lecture Notes in Artificial Intelligence. XII + 251 p. Softcover. Heidelberg: Springer-Verlag. ISBN: 3-540-24010-1, 2004.

J. Leite and P. Torroni (eds.), Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, pp x + 260, Lisbon, Portugal, ISBN: 972-9119-37-6, September 2004. [PDF]

J. Dix, J. A. Leite and K. Satoh (eds.), Computational Logic and Multi-Agent Systems, Annals of Mathematics and Artificial Intelligence, 42(1-3), ISSN: 1012-2443, 2004.

J. Dix and J. A. Leite (eds.), Proceedings of the 4th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA IV. ITZ Bericht Band 1 Heft 5, x + 229 p. Softcover, PAPIERFLIEGER, Clausthal-Zellerfeld, ISBN 3-89720-688-9, 2003. [PDF]

J. Dix, F. Sadri and K. Satoh (eds.), Computational Logic and Multi-Agent Systems, Annals of Mathematics and Artificial Intelligence, 37(1-2), ISSN: 1012-2443, 2003.

J. Dix, J. A. Leite and K. Satoh (eds.), Proceedings of the 3rd International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA'02), Electronic Notes in Theoretical Computer Science 70(5), ISBN: 04445-12985, 2002.

J. Dix, J. A. Leite and K. Satoh (eds.), Pre-Proceedings of the 3rd International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA'02), pp x + 181, no. 93 of Datalogiske Skrifter (Writings on Computer Science), Roskilde University, Denmark, ISSN 0109-9779, 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