Call for Papers

Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environments to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability a full spectrum of domains, from search engines to aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to cite only some.

Although commonly implemented by means of imperative languages, mainly for reasons of efficiency, agent-related concepts have recently increased their influence in the research and development of Computational Logic based systems.

Computational Logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for various tasks by individual agents, as well as interaction amongst agents in multi-agent systems, for attending implementations, environments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems.

The purpose of this workshop is to discuss techniques, based on Computational Logic, for representing, programming and reasoning about Agents and Multi-Agent Systems in a formal way.

Topics

We solicit unpublished papers that present formal approaches to multi-agent systems based upon or relating to computational logic. The approaches must make a significant contribution to the practice of multi-agent systems. Relevant topics include, but are not limited to, the following:

• logical foundations of multi-agent systems
• knowledge and belief representation and updates in multi-agent systems
• agent and multi-agent hypothetical reasoning and learning
• extensions of logic programming for multi-agent systems
• nonmonotonic reasoning in multi-agent systems
• theory and practice of argumentation for agent reasoning and interaction
• operational semantics and execution agent models
• model checking algorithms, tools, and applications for multi-agent logics
• semantics of interaction and agent communication languages
• distributed constraint satisfaction in multi-agent systems
• temporal reasoning for multi-agent systems
• modal logic approaches to multi-agent systems
• logic based programming languages for multi-agent systems
• distributed theorem proving for multi-agent systems
• logic based implementations of multi-agent systems
• decision theory for multi-agent systems
• specification and verification of formal properties of agent systems

Submissions

We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere.

Papers should be written in English, formatted according to the springer LNCS style, which can be obtained here, and not exceed 16 pages including figures, references, etc.

Submissions of regular papers are now closed. Participation to the First CLIMA Contest is still open.

Important Dates

• Regular papers submission: April 15, 2005 (expired)
• Regular papers notification: May 13, 2005 (see accepted papers)
• CLIMA Contest submission: May 20, 2005 (expired)
• CLIMA Contest notification: May 27, 2005
• Student scholarship application: May 27, 2005
• Early bird registration deadline: May 30, 2005
• Student scholarship notification: May 30, 2005
• Confirmation of acceptance of student scholarship: June 1, 2005
• Regular papers Camera-Ready: June 3, 2005
• CLIMA Contest Camera-Ready: June 6, 2005
• Request for wireless network access: June 23, 2005
• CLIMA VI: June 27-29, 2005

Proceedings and post-workshop publications

A printed volume with the proceedings will be available at the workshop (download proceedings) (download table of contents)

A selection of papers from past editions of CLIMA have been published in journal special issues (Electronic Notes in Theoretical Computer Science vol. 70(5) of 2002 and Annals of Mathematics and Artificial Intelligence vol. 37(1-2) of 2003 and vol. 42(1-3) of 2004), and book series such as the recent vol. 3259 of Springer-Verlag Lecture Notes in Artificial Intelligence (CLIMA IV) and the forthcoming vol. 3487 of the same series, featuring the post-proceedings of CLIMA V. Springer will continue publishing the CLIMA series in LNAI.