Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII)

Call for Papers

May 8,9 2006

Future University, Hakodate, Japan

in association with AAMAS 2006

New Information (as of 11 June, 2007)

Added 29/May/06 Springer Verlag confirmed to publish the post-proceedings as a volume of the Lecture Notes in Artificial Intelligence series!!

Added 29/May/06 The post-proceedings (LNAI4371) is now on line. Click here.

CLIMA Contest Page
CLIMA-VII Programme Page

Aims and scope

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.
The purpose of this workshop is to discuss techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.
We solicit unpublished papers on agents and multi-agent systems based upon or relating to computational logic. You can find further information regarding the CLIMA workshop series here .


Relevant topics include, but are not limited to, the following:

* logical foundations of (multi-)agent systems
* extensions of logic programming for (multi-)agent systems
* modal logic approaches to (multi-)agent systems
* logic-based programming languages for (multi-)agent systems
* non-monotonic reasoning in (multi-)agent systems
* decision theory for (multi-)agent systems
* agent and multi-agent hypothetical reasoning and learning
* theory and practice of argumentation for agent reasoning and interaction
* knowledge and belief representation and updates in (multi-)agent systems
* 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
* distributed theorem proving for multi-agent systems
* logic-based implementations of (multi-)agent systems
* specification and verification of formal properties of (multi-)agent systems


We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from, and not exceed 16 pages including figures, references, etc. Each paper should include *some examples* illustrating the proposed techniques.
Paper submission is closed.


A printed volume of the proceedings will be available at the workshop.
Authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing.

CLIMA contest

CLIMA VII will also host the second CLIMA contest, organized by Mehdi Dastani, Jurgen Dix, Peter Novak.

Financial Support for Students

We have some budget for partial economical support for traveling costs for promising students whose papers have been accepted to be presented at CLIMA VII. Please contact Ken Satoh(ksatoh at for details.

Important Dates

Submission Deadline: February 1, 2006 11:59 pm Hawaii time (Hard deadline)
Notification: February 19, 2006
Camera Ready Copy Due: March 10, 2006
CLIMA VII: May 8 and 9, 2006

Workshop Chairs

Katsumi Inoue, National Institute of Informatics, Japan
Ken Satoh, National Institute of Informatics, Japan
Francesca Toni, Imperial College London, UK

Programme Committee

Jose Julio Alferes, New University of Lisbon, Portugal
Rafael H. Bordini, University of Durham, UK
Gerhard Brewka, University of Leipzig, Germany
Stefania Costantini, University of L'Aquila, Italy
Juergen Dix, Technical University of Clausthal, Germany
Patrick Doherty, Linkoping University, Sweden
Phan Ming Dung, AIT, Thailand
Thomas Eiter, Vienna University of Technology, Austria
Klaus Fischer, DFKI, Germany
Michael Fisher, The University of Liverpool, UK
Michael Gelfond, Texas Technical University, USA
James Harland, RMIT, Australia
Hisashi Hayashi, Toshiba, Japan
Wiebe van der Hoek, The University of Liverpool, UK
Antonis Kakas, University of Cyprus, Cyprus
Joao Leite, New University of Lisbon, Portugal
Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
Paola Mello, University of Bologna, Italy
John Jules Ch. Meyer, Utrecht University, The Netherlands
Leora Morgenstern, IBM T.J. Watson Research Center, USA
Naoyuki Nide, Nara Women's University, Japan
Maurice Pagnucco, University of New South Wales, Australia
Wojciech Penczek, Polish Academy of Sciences, Poland
Enrico Pontelli, New Mexico State University, USA
Fariba Sadri, Imperial College London, UK
Chiaki Sakama, Wakayama University, Japan
Abdul Sattar, Griffith University, Australia
Hajime Sawamura, Niigata University, Japan
Renate Schmidt, University of Manchester, UK
Tran Cao Son, New Mexico State University, USA
Kostas Stathis, City University London, UK
Michael Thielscher, Dresden University of Technology, Germany
Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan
Paolo Torroni, University of Bologna, Italy
Marina de Vos, University of Bath, UK
Cees Witteveen, Delft University of Technology, The Netherlands

Home page of CLIMA VII: