CLIMA VII: First CFP
CLIMA-VII
clima-vii@REDACTED
Tue Nov 22 14:38:14 CET 2005
[Apologies for cross-postings. Please send to your colleagues.]
===================== 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
http://www.fun.ac.jp/aamas2006/
http://research.nii.ac.jp/climaVII/
===========================================================
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.
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.
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.
Important Dates
---------------
- Submission Deadline: January 15, 2006
- 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
Email: clima-vii@REDACTED
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
Trao Can 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
More information about the erlang-questions
mailing list