CALL FOR PAPERS

9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IX)

[Co-located with 11th European Conference on LOGICS IN ARTIFICIAL INTELLIGENCE (JELIA-08)]

Technische Universität Dresden, Germany        29th-30th September, 2008

http://www.csc.liv.ac.uk/%7Emichael/clima08

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
• 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
• temporal reasoning
• 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=clima9.

Submissions will be reviewed and selected and a printed volume of the proceedings will be available at the workshop. As in previous years, we aim to publish a selection of extended workshop papers in a Post-Proceedings volume within the Springer Verlag LNAI series; see http://centria.di.fct.unl.pt/%7Eclima.

IMPORTANT DATES:

Deadline for submission:        16th July 2008
Notification of acceptance:        9th August 2008
Camera Ready Copy due:        5th September 2008

WORKSHOP CO-CHAIRS:


Michael Fisher (Liverpool, UK)
Fariba Sadri (Imperial, UK)
Michael Thielscher (Dresden, DE)



PROGRAMME COMMITTEE:


Natasha Alechina  (Nottingham, UK)
Jose Julio Alferes  (Lisbon, PT)
Rafael Bordini  (Durham, UK)
Gerhard Brewka  (Leipzig, DE)
Stefania Costantini  (L'Aquila, IT)
Mehdi Dastani  (Utrecht, NL)
Juergen Dix  (Clausthal, NL)
Chiara Ghidini  (Trento, IT)
James Harland  (RMIT, AUS)
Hisashi Hayashi  (Toshiba, JP)
Wiebe van der Hoek  (Liverpool, UK)
Katsumi Inoue  (NII, JP)
Joao Leite  (Lisbon, PT)
Fangzhen Lin  (UST, HK)
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)
Ken Satoh  (NII, JP)
Renate Schmidt  (Manchester, UK)
Tran Cao Son  (New Mexico, USA)
Francesca Toni  (Imperial, UK)
Marina de Vos  (Bath, UK)
Cees Witteveen  (Delft, NL)

About this document ...

This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.70)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -no_navigation -split 1 -no_subdir -t clima08cfp.html -address M.Fisher@csc.liv.ac.uk clima08cfp

The translation was initiated by Michael Fisher on 2008-07-10