Call for Papers
On Computational Logic in Multi-Agent Systems
For publication in aSpecial Issue of the Annals of Mathematics and Artificial Intelligence

Guest editors: Juergen Dix, Fariba Sadri, Ken Satoh

Multi-agent systems (MAS) have become an increasingly important area of research, not least because of the advances in the Internet and Robotics. However multi-agent systems can become very complicated, and, consequently, reasoning about the behaviour of such systems can become extremely difficult. Therefore, it is important to be able to formalise multi-agent systems and, to do so in such a way that allows automated reasoning about agents' behaviour. The purpose of this Special Issue is to present techniques, based on computational logic (CL), for reasoning about multi-agent systems in a formal way. This is clearly a major and exciting challenge for computational logic. We have to develop techniques to deal with real world issues and applications.


We solicit papers that address CL-related 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 MAS
* Planning in MAS
* Adaptability and learning in MAS
* Knowledge representation in MAS
* Temporal reasoning in MAS
* Negotiation, co-operation, competition and communication in MAS
* Verification of MAS
* Decision theory for MAS
* Distributed problem solving in MAS
* Significant applications of MAS

We require the submitted papers to include:

1. An introduction that includes statements about how the paper addresses the exploitation of CL for MAS,
2. An explanation of which aspect/functionality of MAS the paper formalises,
3. Example(s) which give an intuitive motivation and explanation of the formalisation, and, preferably,
4. Automated reasoning about behaviour of MAS.

We expect papers to describe original, previously unpublished research, be written and presented in English, and not be simultaneously submitted for publication elsewhere. Papers should be formatted according to the style files presented at We expect papers to be between 20 and 40 pages long.

Please submit a PostScript or PDF file of your paper to by the 31st of January 2001.

Important Dates

Submission Deadline: January 31st, 2001
Notification: March 31st, 2001
Camera Ready Copy Due: May 31st, 2001

We expect the Special Issue to be published towards the end of 2001.

A web page regarding the Special Issue will be created linked from

Document converted from ms word 8 by MSWordView(mswordview 0.5.14)
MSWordView written by Caolan McNamara