Workshop Program
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)
The workshop will be
held on two afternoons of 24th and 25th of July.
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.
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):
We encourage the submitted papers to include:
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.