[asian-logic 151] CFP: CLIMA IV - Deadline Extended

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
                                      CALL FOR PAPERS

                                           CLIMA IV

         Fourth International Workshop on Computational Logic in Multi-Age=
nt Systems

                       January 6-7, 2004, Fort Lauderdale, Florida, USA

                    http://centria=2Edi=2Efct=2Eunl=2Ept/~jleite/climaIV/i=
ndex=2Ehtm

                 Post-Proceedings will be published in Springer Verlag LNA=
I

                    ***new*** Submission Deadline: September 26th

                       Co-located with the 7th LPNMR and the 8th AIMATH
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=


Over recent years, the notion of agency has claimed a major role in defini=
ng the trends of modern research=2E
Influencing a broad spectrum of disciplines such as Sociology, Psychology,=
 Philosophy and many more, the agent
paradigm virtually invaded every sub-field of Computer Science, not least =
because of the Internet and Robotics=2E

Multi-agent Systems (MAS) are communities of problem-solving entities that=
 can perceive and act upon their
environments to achieve their individual goals as well as joint goals=2E T=
he work on such systems integrates many
technologies and concepts in artificial intelligence and other areas of co=
mputing=2E There is a full spectrum of
MAS applications that have been and are being developed; from search engin=
es, educational aids to electronic
commerce and trade=2E

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 developme=
nt of computational logic based
systems=2E

Computational Logic, by virtue of its nature both in substance and method,=
 provides a well-defined, general, and
rigorous framework for systematically studying computation, be it syntax, =
semantics, procedures, or
implementations, environments, tools, and standards=2E

The purpose of this workshop is to discuss techniques, based on computatio=
nal logic, for representing,
programming and reasoning about multi-agent systems in a formal way=2E Thi=
s is clearly a major challenge for
computational logic, to deal with real world issues and applications=2E

Following the workshop on Multi-Agent Systems in Logic Programming affilia=
ted with ICLP'99, the first CLIMA
workshop took place in London, UK, affiliated with CL'2000=2E The 2001 edi=
tion of CLIMA, took place in Paphos,
Cyprus, affiliated with ICLP'01=2E CLIMA'02 took place in Copenhagen, Denm=
ark, and was affiliated with ICLP'02 and
part of FLOC'02=2E

We solicit unpublished papers that address formal approaches to multi-agen=
t systems=2E The approaches as well
asbeing formal must make a significant contribution to the practice of mul=
ti-agent systems=2E Relevant techniques
include, but are not limited to, the following:

* Nonmonotonic reasoning in MAS
* Planning under incomplete information in MAS
* Logical foundations of MAS
* Usage of abduction in MAS
* Representation of knowledge and belief in MAS
* Knowledge and belief updates in MAS
* Temporal reasoning for MAS
* Theory of argumentation for MAS
* Negotiation and co-operation for MAS
* Communication languages for MAS
* Distributed constraint satisfaction in MAS
* Modal logic approaches to MAS
* Logic based programming languages for MAS
* Distributed theorem proving for MAS
* Logic based implementations of MAS
* Decision theory for MAS
* Logic based agents for the Internet

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

IMPORTANT DATES
* Submission: September 26th, 2003
* Notification of Acceptance: October 31th, 2003
* Final version due: November 28th, 2003
* CLIMA IV: January 6-7th, 2004

PROCEEDINGS
Post-proceedings will be published by Springer-Verlag as a volume of the L=
ecture Notes on Artificial
Intelligence (LNAI) series=2E Informal proceedings will be available at th=
e workshop and online=2E

PROGRAM COMMITTEE
* Chitta Baral, Arizona State University, USA
* Gerd Brewka, University of Leipzig, Germany
* J=FCrgen Dix, The University of Manchester, UK
* Thomas Eiter, Vienna University of Technology, Austria
* Klaus Fischer, DFKI, Germany
* Michael Fisher, University of Liverpool, UK
* James Harland, Royal Melbourne Inst=2E of Tech=2E, Australia
* Katsumi Inoue, Kobe University, Japan
* Gerhard Lakemeyer, Aachen Univ=2E of Technology, Germany
* Jo=E3o Leite, New University of Lisbon, Portugal
* Yves Lesp=E9rance, York University, Canada
* John Jules Ch=2E Meyer, Univ=2E of Utrecht, The Netherlands
* Leora Morgenstern, IBM, USA
* Lu=EDs Moniz Pereira, New University of Lisbon, Portugal
* Fariba Sadri, Imperial College, UK
* Ken Satoh, National Institute of Informatics, Japan
* Renate Schmidt, The University of Manchester, UK
* Guillermo Simari, Universidad Nacional del Sur, Argentina
* V=2E S=2E Subrahmanian, University of Maryland, USA
* Francesca Toni, Imperial College, UK
* Paolo Torroni, University of Bologna, Italy
* Wiebe van der Hoek, University of Liverpool, UK
* Cees Witteveen, Delft Univ=2E of Tech=2E, The Netherlands

WORKSHOP ORGANIZERS:
* J=FCrgen Dix, The University of Manchester, UK (dix@cs=2Eman=2Eac=2Euk)
* Jo=E3o Leite, New University of Lisbon, Portugal (jleite@di=2Efct=2Eunl=2E=
pt)

INQUIRIES: Please send program suggestions and inquires to either of the o=
rganizers=2E