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 http://www.baltzer.nl/amai/amai_authinstr.asp. We expect papers to be between 20 and 40 pages long.
Please submit a PostScript or PDF file of your paper to email@example.com by the 31st of January 2001.
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 http://www.uni-koblenz.de/~dix.
Document converted from ms word 8 by
MSWordView written by