CFP: CLIMA 06
Thu Dec 22 21:49:39 CET 2005
================= Second Call for Papers ==================
CLIMA VII Seventh International
Workshop on Computational Logic in Multi-Agent Systems
May 8,9 2006 in association with AAMAS2006
(May 8 - 12, 2006) Future University, Hakodate, Japan
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
previous edition of CLIMA in http://clima.deis.unibo.it/ and the history
of CLIMA in http://research.nii.ac.jp/climaVII/about.html.
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
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
Paper submission is electronic via the online submission system:
http://www.easychair.org/CLIMAVII/submit/ Authors who have difficulties
with the electronic submission should contact the workshop chairs.
Proceedings and post-workshop publications
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. Springer Verlag has accepted in principle
to publish the post-proceedings as a volume of the Lecture Notes in
Artificial Intelligence series.
CLIMA VII will also host the second CLIMA contest, organized by Mehdi
Dastani, Jurgen Dix, and 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.
- Submission Deadline: January 15, 2006 - Notification: February 19,
2006 - Camera Ready Copy Due: March 10, 2006 - CLIMA VII: May 8 and 9, 2006
Katsumi Inoue, National Institute of Informatics, Japan Ken Satoh,
National Institute of Informatics, Japan Francesca Toni, Imperial
College London, UK
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
Home page of CLIMA VII: http://research.nii.ac.jp/climaVII
This e-mail was delivered to you by , what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany.
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
In the case of any requests, questions, or comments, do not hesitate and
* CIG does not take any responsibility for validity *
* of content of messages sent through this list. *
Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
More information about the erlang-questions