Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII)
Call for Papers
May 8,9 2006
Future University, Hakodate, Japan
in association with AAMAS 2006
New Information (as of 11 June, 2007)
Springer Verlag confirmed to publish the post-proceedings
as a volume of
the Lecture Notes in Artificial Intelligence series!!
(29/05/06)
The post-proceedings (LNAI4371) is now on line. Click
here.
(11/06/07)
CLIMA Contest Page
CLIMA-VII Programme Page
Aims and scope
Multi-Agent Systems are communities of problem-solving entities that
can perceive and act upon their environment 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
to a full spectrum of domains, from search engines to educational aids
to electronic commerce and trade, e-procurement, recommendation
systems, simulation and routing, to cite only some.
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 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.
We solicit unpublished papers on agents and multi-agent
systems based upon or relating to computational logic.
You can find further information regarding the CLIMA workshop series
here .
Topics
Relevant topics include, but are not limited to, the following:
* logical foundations of (multi-)agent systems
* extensions of logic programming for (multi-)agent systems
* modal logic approaches to (multi-)agent systems
* logic-based programming languages for (multi-)agent systems
* non-monotonic reasoning in (multi-)agent systems
* decision theory for (multi-)agent systems
* agent and multi-agent hypothetical reasoning and learning
* theory and practice of argumentation for agent reasoning and interaction
* knowledge and belief representation and updates in (multi-)agent systems
* 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
* distributed theorem proving for multi-agent systems
* logic-based implementations of (multi-)agent systems
* specification and verification of formal properties of (multi-)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 Verlag LNCS style, which can be obtained from
http://www.springeronline.com,
and not exceed 16 pages including figures, references, etc.
Each paper should include *some examples* illustrating the proposed
techniques.
Paper submission is closed.
Proceedings
A printed volume of the proceedings will be available at the workshop.
Authors of papers presented at the workshop will be asked to extend
their contributions, possibly incorporating the results of the
workshop discussion, to be included in the workshop post-proceedings,
after another round of refereeing.
CLIMA contest
CLIMA VII will also host
the second CLIMA contest,
organized by Mehdi Dastani, Jurgen Dix, Peter Novak.
Financial Support for Students
We have some budget for partial economical support for traveling
costs for promising students whose papers have been accepted to be
presented at CLIMA VII. Please contact Ken Satoh(ksatoh at nii.ac.jp)
for details.
Important Dates
Submission Deadline: February 1, 2006 11:59 pm Hawaii time (Hard deadline)
Notification: February 19, 2006
Camera Ready Copy Due: March 10, 2006
CLIMA VII: May 8 and 9, 2006
Workshop Chairs
Katsumi Inoue, National Institute of Informatics, Japan
Ken Satoh, National Institute of Informatics, Japan
Francesca Toni, Imperial College London, UK
Programme Committee
Jose Julio Alferes, New University of Lisbon, Portugal
Rafael H. Bordini, University of Durham, UK
Gerhard Brewka, University of Leipzig, Germany
Stefania Costantini, University of L'Aquila, Italy
Juergen Dix, Technical University of Clausthal, Germany
Patrick Doherty, Linkoping University, Sweden
Phan Ming Dung, AIT, Thailand
Thomas Eiter, Vienna University of Technology, Austria
Klaus Fischer, DFKI, Germany
Michael Fisher, The University of Liverpool, UK
Michael Gelfond, Texas Technical University, USA
James Harland, RMIT, Australia
Hisashi Hayashi, Toshiba, Japan
Wiebe van der Hoek, The University of Liverpool, UK
Antonis Kakas, University of Cyprus, Cyprus
Joao Leite, New University of Lisbon, Portugal
Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong
Paola Mello, University of Bologna, Italy
John Jules Ch. Meyer, Utrecht University, The Netherlands
Leora Morgenstern, IBM T.J. Watson Research Center, USA
Naoyuki Nide, Nara Women's University, Japan
Maurice Pagnucco, University of New South Wales, Australia
Wojciech Penczek, Polish Academy of Sciences, Poland
Enrico Pontelli, New Mexico State University, USA
Fariba Sadri, Imperial College London, UK
Chiaki Sakama, Wakayama University, Japan
Abdul Sattar, Griffith University, Australia
Hajime Sawamura, Niigata University, Japan
Renate Schmidt, University of Manchester, UK
Tran Cao Son, New Mexico State University, USA
Kostas Stathis, City University London, UK
Michael Thielscher, Dresden University of Technology, Germany
Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan
Paolo Torroni, University of Bologna, Italy
Marina de Vos, University of Bath, UK
Cees Witteveen, Delft University of Technology, The Netherlands