Call for Papers
for a
Special Issue of
Annals of Mathematics and Artificial
Intelligence
(CLOSED ************ CLOSED)
On Computational Logic in Multi-Agent Systems Special Issue Editors: |
About the Special Issue |
About the Special
Issue
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):
This Page was created by Juergen
Dix
Submission Details
We are expecting full papers to describe original, previously
unpublished research, be written in English, and not be simultaneously
submitted for publication elsewhere (previous publication of partial
results at workshops with informal proceedings is allowed).
Papers should be formatted according to the Instructions for AMAI submissions
(see below) and should be between 20 and 40 pages long:
We also require the following issues
to be adressed:
Please submit a PostScript or PDF file of your paper to
dix@uni-koblenz.de by the
31st of January 2001.1. CL: An introduction that includes statements about how the paper
addresses
the exploitation of CL for MAS
2. MAS : An explanation of which aspect/functionality of MAS the paper
formalises,
3. Examples: Example(s) which give an intuitive motivation and explanation of the formalisation.
IMPORTANT DATES
Papers Due on:
February 14, 2001
Author Notification:
April 31, 2001
Final version Due on:
June 31, 2001
Special Issue:
December 2001
About the Special Issue Editors:
Juergen Dix is
is Reader at The University of Manchester, UK. He is
also member of the CS Department at the Technical University of
Vienna, where he is lecturing regularly. He worked since 1989 in
several areas of Computational Logic
(nonmonotonic reasoning, logic programming, deductive databases,
knowledge representation) and, lately, also in Multi-Agent Reasoning. He has published more
than 30 papers in journals, presented more than 40 papers in
conferences and gave more than 40 invited talks/tutorials. He has
also co-authored/edited nine books and two special issues of Annals of
Math and AI.
Fariba
Sadri is a senior lecturer in the Department of Computing
at Imperial College, London, where she is a member of the Logic
Programming Research Group. She finished her PhD in deductive
databases in 1988, and since then she has worked and published papers
in a variety of areas, including temporal reasoning, knowledge
representation with rules and exceptions and logic-based agents.
Ken
Satoh is an associate professor of Division of Electronics and
Information Engineering, Hokkaido University, Japan. He has done
research on theoretical foundations of AI such as nonmonotonic
reasoning, preference-based reasoning and case-based reasoning. He is
also interested in formalization of multi-agent systems and
application of the above reasoning to multi-agent systems.
Annals of Mathematics and Artificial Intelligence (AMAI) is
devoted to reporting significant contributions on the interaction of
mathematical and computational techniques reflecting the evolving
disciplines of artificial intelligence. Annals of Mathematics and
Artificial Intelligence publishes edited volumes of original
manuscripts, survey articles, monographs and well refereed conference
proceedings of the highest caliber within this increasingly important
field. All papers will be subject to the peer reviewing process with
at least two referees per paper.
==========================================================================
Call for Papers
for a Special Issue of Annals of Mathematics and Artificial Intelligence
on Computational Logic in Multi-Agent Systems
Special Issue Editors: Juergen Dix, Fariba Sadri, Ken Satoh
http://www.uni-koblenz.de/~dix/AMAI_SPECIAL/AMAI.html
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
Submission Details
We are expecting full papers to describe original, previously
unpublished research, be written in English, and not be simultaneously
submitted for publication elsewhere (previous publication of partial
results at workshops with informal proceedings is allowed).
Papers should be formatted according to the Instructions for AMAI
submissions (see below) and should be between 20 and 40 pages long:
* http://www.baltzer.nl/amai/submit.html and
* http://www.baltzer.nl/authors/
We also require the following issues to be adressed:
1. CL: An introduction that includes statements about how the paper
addresses
the exploitation of CL for MAS
2. MAS : An explanation of which aspect/functionality of MAS the paper
formalises,
3. Examples:Example(s) which give an intuitive motivation and explanation
of the formalisation.
Please submit a PostScript or PDF file of your paper to
dix@uni-koblenz.de by the 31st of January 2001.
IMPORTANT DATES
Papers Due on: January 31, 2001
Author Notification: March 31, 2001
Final version Due on: May 31, 2001
Special Issue: December 2001
Go to Top of page