CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-I)

(Two Afternoons on 24th and 25th July)

in association with CL2000 (July 24th -- 29th, 2000)

Imperial College, London, U.K.

New Information (as of July 18, 2000)

Added 18/7/00 Workshop Program

New Information (as of June 20, 2000)

Added 20/6/00 List of Accepted Papers

Added 20/6/00 The workshop will be held on two afternoons of 24th and 25th of July.

New Information (as of March 10, 2000)

Added 10/3/00 A proposal for a special issue of the Annals of Math and AI on "Computational Logic and Multi-Agency" (guest editors: Juergen Dix, Fariba Sadri, and Ken Satoh) has been accepted. We are planning to invite the authors of the best CLIMA-I papers to submit extended drafts for the special issue as a part of the volume.

Purpose of the workshop

The Internet and Robotics make research on multi-agent systems very important. However, programming in these domains becomes very complicated and reasoning about behavior of these systems becomes extremely difficult. Therefore, it is important to be able to formalize multi-agent systems and to reason about agent's behavior automatically. The purpose of this workshop is to discuss techniques, based on computational logic, for reasoning about multi-agent systems in a formal way. This is clearly a major challenge for computational logic, to deal with real world issues and applications.


We solicit papers that address formal approaches to multi-agent systems. The approaches as well as being formal must make a significant contribution to the practice of multi-agent systems. Relevant techniques include the following (but are not limited to):

* Nonmonotonic reasoning in multi-agent systems
* Planning under incomplete information in multi-agent systems
* Usage of abduction in multi-agent systems
* Representation of knowledge and belief in multi-agent systems
* Temporal reasoning for multi-agent systems
* Theory of argumentation for multi-agent negotiation and co-operation
* Communication languages for multi-agent systems
* Distributed constraint satisfaction in multi-agent systems
* Decision theory for multi-agents
* Distributed theorem proving for multi-agent systems

We encourage the submitted papers to include:

(1) an explanation of which aspect/functionality of multi-agent system they formalize,
(2) example(s) which give an intuitive motivation and explanation of the formalization,
and, preferably,
(3) automated reasoning about behavior of multi-agent system.

Papers must describe original, previously unpublished research, be written and presented in English, not exceed 10 pages (A4 or letter format, up to 3,500 words), and not be simultaneously submitted for publication elsewhere.

Please submit a PostScript file or a PDF file of a paper to

Please note that we cannot receive an email whose size is more than 1MB (one Mega byte) because of the administrative reasons. If the author submits a PostScript file or a PDF file whose size is more than 1MB, the file must be divided into multiple emails each of whose size is less than 1MB. The author may send an address of a WWW page or a ftp site from which the file of the submitted paper can be ftped instead of sending the whole file. It is the author's responsibility to ensure that the PostScript file or PDF file is printable (and can be ftped if the author provides an address for ftp). Only if electronic submission is impossible, please notify the above address by April 10th 2000.


Workshop proceedings will be available at CL2000. We are also considering on-line proceedings.

Important Dates

Submission Deadline: April 30th, 2000
Notification: June 2nd, 2000
Camera Ready Copy Due: July 2nd, 2000
Workshop: one day (or possibly two days) during July 24th -- 29th

Workshop Co-chairs

Ken Satoh, Hokkaido University, Japan
Fariba Sadri, Imperial College, UK

Programme Committee

Chitta Baral, Arizona State University, USA
Juergen Dix, University of Koblenz, Germany
Katsumi Inoue, Kobe University, Japan
Yasuhiko Kitamura, Osaka City University, Japan
Luis Moniz Pereira, Universidade Nova de Lisboa , Portugal
David Poole, University of British Columbia, Canada
Francesca Toni, Imperial College, UK

Home page of CLIMA-I: