---------- Forwarded Message ---------- Subject: Date: Wed, 13 Jun 2001 09:20:57 +0200 (CEST) From: "Jürgen Dix" dix@cs.man.ac.uk To: castel@ip.rm.cnr.it, sarit@umiacs.umd.edu, pablo@xalapa.lania.mx, katia@cs.cmu.edu, tambe@isi.edu, yokoo@cslab.kecl.ntt.co.jp, durfee@caen.engin.umich.edu, gasser@uiuc.edu, grosz@harvard.edu, huhns@sc.edu, ishida@kuis.kyoto-u.ac.jp, nrj@ecs.soton.ac.uk, lesser@cs.umass.edu, nakashim@etl.go.jp, vparunak@erim.org, jeff@cs.huji.ac.il, weissg@informatik.tu-muenchen.de, icmas00-progcomm@umich.edu, compunode@dfki.de, concurrency@cwi.nl, constraints-list@cwi.nl, cs-logic@cs.indiana.edu, csl99org@eucmos.sim.ucm.es, csl@dbai.tuwien.ac.at, csp@carlit.toulouse.inra.fr, dai-list@mcc.com, discipl@inria.fr, distributed-ai@mailbase.ac.uk, dl@dl-kr.cs.rmit.edu.au, dma-list@nic.surfnet.nl, eacsl@dimi.uniud.it, eapls@mailbase.ac.uk, eatcs-it@cs.unibo.it, eclipse_users@ecrc.de, elsnet-list@cogsci.ed.ac.uk, flprog@informatik.uni-muenchen.de, fm-info@air16.larc.nasa.gov, formal-methods@cs.uidaho.edu, fr-sem@frmug.org, frocos@loria.fr, gulp@di.unipi.it, hpsg-l@lists.stanford.edu, sfisher@cuny.c! ampus.mci.net, agents@cs.umbc.edu, maamaw@cosmos.imag.fr, dai-list@ece.sc.edu, ckbs-int@cs.keele.ac.uk, vki-list@dfki.de, agents-99@cs.umbc.edu, kqml@cs.umbc.edu, ontology@cs.umbc.edu, interlingua@cs.stanford.edu, cg@cs.umn.edu, mobility@media.mit.edu, kmcinvitation@km.org, listl@lisisunl.insa-lyon.fr, dl@dl-kr.cs.rmit.edu.au, dbworld@cs.wisc.edu, elsnet-list@let.ruu.nl, compunode@dfki.de, compulog-deduction@cs.bham.ac.uk, ontology@cs.umbc.edu, kgs@dbai.tuwien.ac.at, loom-forum@isi.edu, cg@pluto.cs.uah.edu, lics@research.bell-labs.com, cadeinc@cs.albany.edu, sgaico@cui.unige.ch, aisb@cogs.sussex.ac.uk, appiar@laminaria.si.fct.unl.pt, gulp@di.unipi.it, taboo-tutti@deis33.deis.unibo.it, silfs-ia@dist.unige.it, acclaim@sics.se, alp-list@intellektik.informatik.th-darmstadt.de, compulog-list@cwi.nl, compulog@doc.imperial.ac.uk, compulognet-parimp@dia.fi.upm.es, kr-postings@kr.org, kr@kr.org, dbitaly@iasi.rm.cnr.it, clp@cis.ohio-state.edu, compulog-deduction@cs.bham.ac.uk, compulog-! list@cwi.nl, aaai@sumex-aim.stanford.edu, aahesgit@list.cren.net, acclaim@sics.se, acm@ciupl.ncc.up.pt, agents-99@cs.umbc.edu, agents@cs.umbc.edu, ai-ed@sun.com, ai-ed99@lium.univ-lemans.fr, aisb@cogs.sussex.ac.uk, alp-list@intellektik.informatik.th-darmstadt.de, announce@sigart.acm.org, appiar@ncc.up.pt, appiar@laminaria.si.fct.unl.pt, ckbs-int@cs.keele.ac.uk, compulog@doc.imperial.ac.uk, compulog-list@cwi.nl, compulognet-parimp@dia.fi.upm.es, compunode@dfki.de, conferences@iao.fhg.de, dai-list@ece.sc.edu, dbitaly@iasi.rm.cnr.it, dbworld@cs.wisc.edu, deis@deis.unibo.it, DEOS-L@lists.psu.edu, DISTLRN@hermes.gwu.edu, eapls@mailbase.ac.uk, edu.au@cs.ruu.nl, elsnet-list@let.ruu.nl, grin@disi.unige.it, gulp@di.unipi.it, informatica@oink.dsi.unive.it, kqml@cs.umbc.edu, kr-postings@kr.org, kr@kr.org, listl@lisisunl.insa-lyon.fr, loom-forum@isi.edu, lprolog@central.cis.upenn.edu, maamaw@cosmos.imag.fr, mind@dai.ed.ac.uk, mobility@media.mit.edu, ontology@cs.umbc.edu, parforce@ecrc.de,! prolog-vendors@sics.se, rafale@club-internet.fr, sez.inf@elet.polimi.it, silfs-ia@dist.unige.it, taboo-tutti@deis33.deis.unibo.it, tools-europe@eiffel.com, vki-list@dfki.de
ICLP'01 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01) http://research.nii.ac.jp/~ksatoh/clima01.html December 1st, 2001 Coral Beach Hotel and Resort, Paphos, Cyprus
in association with ICLP'01 (Nov 26th -- Dec 1st, 2001) http://www.cs.ucy.ac.cy/iclp2001/
Papers Due on: August 25th, 2001
Purpose of the Workshop
Multi-agent systems (MAS) have become an increasingly important area of research, not least because of the advances in the Internet and Robotics. However multi-agent systems can become very complicated, and, consequently, reasoning about the behaviour of such systems can become extremely difficult. Therefore, it is important to be able to formalise multi-agent systems and, to do so in such a way that allows automated reasoning about agents' behaviour. The purpose of this workshop is to present techniques, based on computational logic (CL), for reasoning about multi-agent systems in a formal way. This is clearly a major and exciting challenge for computational logic. We have to develop techniques to deal with real world issues and applications.
In 1999, the ICLP'99 Workshop on Multi-Agent Systems in Logic Programming was held and constituted the first in this series. It was followed by CLIMA-00 at CL2000, where we had eight presentations of papers and two discussion sessions. Following the workshop, we announced a special issue of the Annals of Math and AI and we especially invited all accepted papers of CLIMA-00 for submission to this issue. We got over 20 submissions and the issue will appear late in 2001 or early in 2002. We are planning to continue this series of workshops in the following years in order to foster interaction between the multi-agent and the computational logic communities.
Submission Details
We solicit unpublished papers that address CL-related 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 the following (but are not limited to):
Nonmonotonic reasoning in MAS Planning in MAS Adaptability and learning in MAS Knowledge representation in MAS Temporal reasoning in MAS Negotiation, co-operation, competition and communication in MAS Verification of MAS Decision theory for MAS Distributed problem solving in MAS Significant applications of MAS
We are expecting full papers to describe original, previously unpublished research, be written in English, not exceed 12 pages (A4 or letter format, up to 4000 words), and not be simultaneously submitted for publication elsewhere.
We also require the following issues to be adressed:
1. CL: An introduction that includes statements about how the paper addresses the exploitation of CL for MAS 2. MAS : An explanation of which aspect/functionality of MAS the paper formalises, 3. Examples: Example(s) which give an intuitive motivation and explanation of the formalisation.
We are also planning to have a demonstration session where authors can present their implemented systems. Authors who would like to give a demonstration, should submit a 2 page abstract for a description of their systems. Please submit a PostScript file or a PDF file of a paper to dix@cs.man.ac.uk by the 25th of August, 2001.
It is the author's responsibility to ensure that the PostScript file or PDF file is printable (and can be ftped if the author provides an address for ftp).
Proceedings
Workshop proceedings will be available at ICLP'01. We are also considering on-line proceedings. Depending on the quality of the papers at the workshop, we are planning to go for another special issue of some journal.
IMPORTANT DATES Papers Due on: August 25, 2001 Author Notification: September 20, 2001 Final version Due on: October 10, 2001 Workshop: December 1, 2001
Registration Policy
Note that the workshop registration will require the ICLP conference registration.
Workshop Co-chairs
Ken Satoh, National Institute for Informatics, Japan Juergen Dix, The University of Manchester, UK
Programme Committee
Massimo Benerecetti, Universita di Napoli ``Federico II'', Italy Gerhard Brewka, University of Leipzig, Germany Thomas Eiter, Vienna University of Technology, Austria Michael Fisher, University of Liverpool, UK Katsumi Inoue, Kobe University, Japan Leora Morgenstern, IBM TJ Watson Research Center, USA Akihiko Ohsuga, Toshiba, Japan Luis Moniz Pereira, Universidade Nova de Lisboa, Portugal Henry Prakken, Utrecht University, The Netherlands Cees Witteveen, Delft University of Technology, The Netherlands
Home page of CLIMA: http://research.nii.ac.jp/~ksatoh/clima01.html
-------------------------------------------------------