Version franēaise
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Last CFP: CLIMA V - 5th International Workshop on Computational Logic in Multi-Agent Systems
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Joćo Leite <jleite@d...>
Subject: [Caml-list] Last CFP: CLIMA V - 5th International Workshop on Computational Logic in Multi-Agent Systems
==========================================================================
                      LAST CALL FOR PAPERS

                             CLIMA V

Fifth International Workshop on Computational Logic in Multi-Agent Systems

           September 29 and 30, 2004, Lisbon, Portugal

      http://centria.di.fct.unl.pt/~jleite/climaV/index.htm

     Submission Deadline: June 25th (abstracts due June 22nd)

                     Springer LNCS Proceedings

                     Co-located with JELIA'04
===========================================================================

CALL FOR PAPERS

Multi-agent systems are communities of problem-solving entities
that can perceive and act upon their environments 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. For this reason, over
recent years, the agent paradigm gained popularity in many
sub-fields of computer science. A full spectrum of multi-agent
systems applications have been and are being developed; from
search engines to educational aids to electronic commerce and
trade, e-procurement, recommendation systems, simulation and
routing, to cite only some.

Although commonly implemented by means of imperative languages,
mainly for reasons of efficiency, the agent concept has recently
increased its influence in the research and development of
computational logic based systems.

Computational logic provides a well-defined, general, and rigorous
framework for studying syntax, semantics and procedures, for
attending implementations, environments, tools, and standards, and
for linking together specification and verification of properties
of computational systems.

The purpose of this workshop is to discuss techniques, based on
computational logic, for representing, programming and reasoning
about multi-agent systems in a formal way.

Following the workshop on Multi-Agent Systems in Logic Programming
affiliated with ICLP'99, the first CLIMA workshop took place in
London, UK, affiliated with CL'2000. The 2001 edition of CLIMA,
took place in Paphos, Cyprus, affiliated with ICLP'01. CLIMA'02
took place in Copenhagen, Denmark, and was affiliated with ICLP'02
and part of FLOC'02. The fourth edition of the workshop, CLIMA IV,
took place in Fort Lauderdale, USA, and was co-located with
LPNMR-7 and SAIM'04.

We solicit unpublished papers that address formal approaches to
multi-agent systems. the approaches as well as being formal must
make a significant contribution to the practice of multi-agent
systems. relevant techniques include, but are not limited to, the
following:

* logical foundations of multi-agent systems
* knowledge and belief representation and updates in multi-agent systems
* agent and multi-agent hypothetical reasoning and learning
* extensions of logic programming for multi-agent systems
* nonmonotonic reasoning in multi-agent systems
* theory and practice of argumentation for agent reasoning and interaction
* 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
* modal logic approaches to multi-agent systems
* logic based programming languages for multi-agent systems
* distributed theorem proving for multi-agent systems
* logic based implementations of multi-agent systems
* decision theory for multi-agent systems
* specification and verification of formal properties of agent systems

SUBMISSION INSTRUCTIONS We welcome and encourage the submission of
high quality, original papers, which are not simultaneously
submitted for publication elsewhere. Please refer to the workshop
web pages for further instructions concerning the submission
procedures.

IMPORTANT DATES
* Submission of Abstracts: June 22nd, 2004
* Submission of Papers: June 25th, 2004
* Notification of Acceptance: July 30th, 2004
* Final version due: September 6th, 2004
* CLIMA IV: September 29-30th, 2004

PROCEEDINGS The post-proceedings of CLIMA will be published by
Springer-Verlag as a volume of the Lecture Notes on Artificial
Intelligence series.

PROGRAM COMMITTEE
* José Alferes, New University of Lisbon, Portugal
* Gerd Brewka, University of Leipzig, Germany
* Jürgen Dix, Technical University of Clausthal, Germany
* Klaus Fischer, DFKI, Germany
* Michael Fisher, University of Liverpool, UK
* James Harland, Royal Melbourne Institute of Technology, Australia
* Katsumi Inoue, National Institute of Informatics, Japan
* Sverker Janson, Swedish Institute of Computer Science, Sweden
* Joćo Leite, New University of Lisbon, Portugal
* Yves Lespérance, York University, Canada
* John Jules Ch. Meyer, University of Utrecht, The Netherlands
* Leora Morgenstern, IBM, USA
* Wojciech Penczek, Polish Academy of Sciences, Poland
* Jeremy Pitt, Imperial College, UK
* Enrico Pontelli, New Mexico State University, USA
* Fariba Sadri, Imperial College, UK
* Ken Satoh, National Institute of Informatics, Japan
* Renate Schmidt, The University of Manchester, UK
* Tran Cao Son, New Mexico State University, USA
* Francesca Toni, Imperial College, UK
* Paolo Torroni, University of Bologna, Italy
* Wiebe Van Der Hoek, University of Liverpool, UK
* Makoto Yokoo, Kyushu University, Japan
* Cees Witteveen, Delft University of Technology, The Netherlands


WORKSHOP ORGANIZERS:
* Joćo Leite, New University of Lisbon, Portugal (jleite@di.fct.unl.pt)
* Paolo Torroni, University of Bologna, Italy (ptorroni@deis.unibo.it)

INQUIRIES: Please send program suggestions and inquires to either
of the organizers.

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners