WORKSHOP CO-CHAIRS:



Jürgen Dix  (Clausthal, DE)

Michael Fisher (Liverpool, UK)

Peter Novák (Clausthal, DE)







PROGRAMME COMMITTEE

Thomas  (Bergen, NO)

Natasha Alechina  (Nottingham, UK)

Jose Julio Alferes  (Lisbon, PT)

Rafael Bordini  (Durham, UK)

Gerhard Brewka  (Leipzig, DE)

Keith Clark  (Imperial, UK)

Stefania Costantini  (L'Aquila, IT)

Mehdi Dastani  (Utrecht, NL)

Louise Dennis  (Liverpool, UK)

Chiara Ghidini  (Trento, IT)

James Harland  (RMIT, AUS)

Hisashi Hayashi  (Toshiba, JP)

Koen Hindriks  (Delft, NL)

Wiebe van der Hoek  (Liverpool, UK)

Katsumi Inoue  (NII, JP)

Wojtek Jamroga  (Clausthal, DE)

Viviana Mascardi  (Genoa, IT)

Paola Mello  (Bologna, IT)

John-Jules Meyer  (Utrecht, NL)

Leora Morgenstern  (Stanford, USA)

Naoyuki Nide  (Nara, JP)

Mehmet Orgun  (Macquarie, AUS)

Maurice Pagnucco  (NSW, AUS)

Jeremy Pitt  (Imperial, UK)

Enrico Pontelli  (New Mexico, USA)

Chiaki Sakama  (Wakayama, JP)

Renate Schmidt  (Manchester, UK)

Tran Cao Son  (New Mexico, USA)

Kostas Stathis  (RHUL, UK)

Michael Thielscher (Dresden, DE)

Marina de Vos  (Bath, UK)

Cees Witteveen  (Delft, NL)

BACKGROUND:

Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many technologies and concepts from artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing, electronic commerce and trade, etc. Computational logic provides a well-defined, general, and rigorous framework for studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration amongst, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specifications to implementations, and for the verification of properties of individual agents, multi-agent systems and their implementations.

AIM AND SCOPE:

The aim of CLIMA is to bring together active researchers from all the above areas to discuss and present their work. Relevant topics include, but are not limited to, the following (all with a focus on agents, multi-agent systems, or agent organisations):

• logical foundations
• extensions of logic programming
• temporal reasoning or modal logic approaches
• logic-based programming languages
• non-monotonic reasoning
• decision theory
• hypothetical reasoning and learning
• knowledge and belief representation and updates
• operational semantics and execution agent models
• model checking approaches using (multi-)agent logics
• semantics of interaction and agent communication languages
• distributed constraint satisfaction or distributed theorem proving
• logic-based implementations
• specification and verification of formal properties

PAPER SUBMISSION:

We invite submissions 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, and not exceed 16 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques.



Submissions must be made via http://www.easychair.org/conferences/?conf=clima10.

Submissions will be reviewed and selected and a printed volume of the proceedings will be available at the workshop. As in previous years, a selection of extended workshop papers will be published in a Post-Proceedings volume within the Springer Verlag LNAI series; see http://centria.di.fct.unl.pt/~clima. Note that CLIMA-X will also incorporate the results of this year's Multi-Agent Contest; see http://www.multiagentcontest.org.

IMPORTANT DATES:

Deadline for submission:        29th June 2009 (22nd June 2009)

Notification of acceptance:        16th July 2009

Camera Ready Copy due:        10th August 2009