[asian-logic 150] CFP: CLIMA IV - 4th Intl. Workshop on Computational Logic in Multi-Agent Systems
João Alexandre Leite <jleite-ogrWd1N3sOcFQqZp/[email protected]> Sun, 3 Aug 2003 18:28:35 +0100
| Newsgroups | gmane.science.mathematics.logic.asian |
|---|---|
| Message-ID | <015a01c359e4$ab1a9f10$301616d5@ANIMAL> |
This is a multi-part message in MIME format.
------=_NextPart_000_0157_01C359ED.0CC51670
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
=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
SECOND CALL FOR PAPERS
CLIMA IV
Fourth International Workshop on Computational Logic in =
Multi-Agent Systems
January 6-7, 2004, Fort Lauderdale, Florida, USA
=
http://centria.di.fct.unl.pt/~jleite/climaIV/index.htm
Post-Proceedings will be published in Springer Verlag =
LNAI
Submission Deadline: September 19th
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 =
defining the trends of modern research.
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.
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. =
The work on such systems integrates many
technologies and concepts in artificial intelligence and other areas of =
computing. There is a full spectrum of
MAS applications that have been and are being developed; from search =
engines, educational aids to electronic
commerce and trade.
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, 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.
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. =
This is clearly a major challenge for
computational logic, to deal with real world issues and applications.
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.
We solicit unpublished papers that address formal approaches to =
multi-agent systems. The approaches as well
asbeing formal must make a significant contribution to the practice of =
multi-agent systems. 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. Please refer to the workshop web pages for =
further instructions concerning the
submission procedures.
IMPORTANT DATES
* Submission: September 19th, 2003
* Notification of Acceptance: October 17th, 2003
* Final version due: November 13th, 2003
* CLIMA IV: January 6-7th, 2004
PROCEEDINGS
Post-proceedings will be published by Springer-Verlag as a volume of the =
Lecture Notes on Artificial
Intelligence (LNAI) series. Informal proceedings will be available at =
the workshop and online.
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. of Tech., Australia
* Katsumi Inoue, Kobe University, Japan
* Gerhard Lakemeyer, Aachen Univ. of Technology, Germany
* Jo=E3o Leite, New University of Lisbon, Portugal
* Yves Lesp=E9rance, York University, Canada
* John Jules Ch. Meyer, Univ. 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. S. 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. of Tech., The Netherlands
WORKSHOP ORGANIZERS:
* J=FCrgen Dix, The University of Manchester, UK ([email protected])
* Jo=E3o Leite, New University of Lisbon, Portugal =
(jleite-ogrWd1N3sOcFQqZp/[email protected])
INQUIRIES: Please send program suggestions and inquires to either of the =
organizers.
------=_NextPart_000_0157_01C359ED.0CC51670
Content-Type: text/html;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Diso-8859-1">
<META content=3D"MSHTML 6.00.2719.2200" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial color=3D#000080 size=3D2><FONT face=3D"Times New =
Roman"=20
color=3D#000000=20
size=3D3>=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<BR> &nb=
sp; &nbs=
p;  =
;=20
SECOND CALL FOR=20
PAPERS<BR><BR>  =
; =
&=
nbsp; =20
CLIMA IV<BR><BR> Fourth=20
International Workshop on Computational Logic in Multi-Agent=20
Systems<BR><BR> &nbs=
p;  =
;=20
January 6-7, 2004, Fort Lauderdale, Florida,=20
USA<BR><BR> &n=
bsp; =20
</FONT><A =
href=3D"http://centria.di.fct.unl.pt/~jleite/climaIV/index.htm"><FONT=20
face=3D"Times New Roman"=20
size=3D3>http://centria.di.fct.unl.pt/~jleite/climaIV/index.htm</FONT></A=
><BR><BR><FONT=20
face=3D"Times New Roman" color=3D#000000=20
size=3D3> &nbs=
p; =20
Post-Proceedings will be published in Springer Verlag=20
LNAI<BR><BR> &=
nbsp; &n=
bsp; =20
Submission Deadline: September=20
19th<BR><BR> &=
nbsp; =20
Co-located with the 7th LPNMR and the 8th=20
AIMATH<BR>=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<BR><BR>Over=20
recent years, the notion of agency has claimed a major role in defining =
the=20
trends of modern research.<BR>Influencing a broad spectrum of =
disciplines such=20
as Sociology, Psychology, Philosophy and many more, the =
agent<BR>paradigm=20
virtually invaded every sub-field of Computer Science, not least because =
of the=20
Internet and Robotics.<BR><BR>Multi-agent Systems (MAS) are communities =
of=20
problem-solving entities that can perceive and act upon =
their<BR>environments to=20
achieve their individual goals as well as joint goals. The work on such =
systems=20
integrates many<BR>technologies and concepts in artificial intelligence =
and=20
other areas of computing. There is a full spectrum of<BR>MAS =
applications that=20
have been and are being developed; from search engines, educational aids =
to=20
electronic<BR>commerce and trade.<BR><BR>Although commonly implemented =
by means=20
of imperative languages, mainly for reasons of efficiency, the =
agent<BR>concept=20
has recently increased its influence in the research and development of=20
computational logic based<BR>systems.<BR><BR>Computational Logic, by =
virtue of=20
its nature both in substance and method, provides a well-defined, =
general,=20
and<BR>rigorous framework for systematically studying computation, be it =
syntax,=20
semantics, procedures, or<BR>implementations, environments, tools, and=20
standards.<BR><BR>The purpose of this workshop is to discuss techniques, =
based=20
on computational logic, for representing,<BR>programming and reasoning =
about=20
multi-agent systems in a formal way. This is clearly a major challenge=20
for<BR>computational logic, to deal with real world issues and=20
applications.<BR><BR>Following the workshop on Multi-Agent Systems in =
Logic=20
Programming affiliated with ICLP'99, the first CLIMA<BR>workshop took =
place in=20
London, UK, affiliated with CL'2000. The 2001 edition of CLIMA, took =
place in=20
Paphos,<BR>Cyprus, affiliated with ICLP'01. CLIMA'02 took place in =
Copenhagen,=20
Denmark, and was affiliated with ICLP'02 and<BR>part of =
FLOC'02.<BR><BR>We=20
solicit unpublished papers that address formal approaches to multi-agent =
systems. The approaches as well<BR>asbeing formal must make a =
significant=20
contribution to the practice of multi-agent systems. Relevant=20
techniques<BR>include, but are not limited to, the following:<BR><BR>*=20
Nonmonotonic reasoning in MAS<BR>* Planning under incomplete information =
in=20
MAS<BR>* Logical foundations of MAS<BR>* Usage of abduction in MAS<BR>*=20
Representation of knowledge and belief in MAS<BR>* Knowledge and belief =
updates=20
in MAS<BR>* Temporal reasoning for MAS<BR>* Theory of argumentation for =
MAS<BR>*=20
Negotiation and co-operation for MAS<BR>* Communication languages for =
MAS<BR>*=20
Distributed constraint satisfaction in MAS<BR>* Modal logic approaches =
to=20
MAS<BR>* Logic based programming languages for MAS<BR>* Distributed =
theorem=20
proving for MAS<BR>* Logic based implementations of MAS<BR>* Decision =
theory for=20
MAS<BR>* Logic based agents for the Internet<BR><BR>SUBMISSION=20
INSTRUCTIONS<BR>We welcome and encourage the submission of high quality, =
original papers, which are not simultaneously submitted<BR>for =
publication=20
elsewhere. Please refer to the workshop web pages for further =
instructions=20
concerning the<BR>submission procedures.<BR><BR>IMPORTANT DATES<BR>* =
Submission:=20
September 19th, 2003<BR>* Notification of Acceptance: October 17th, =
2003<BR>*=20
Final version due: November 13th, 2003<BR>* CLIMA IV: January 6-7th,=20
2004<BR><BR>PROCEEDINGS<BR>Post-proceedings will be published by =
Springer-Verlag=20
as a volume of the Lecture Notes on Artificial<BR>Intelligence (LNAI) =
series.=20
Informal proceedings will be available at the workshop and=20
online.<BR><BR>PROGRAM COMMITTEE<BR>* Chitta Baral, Arizona State =
University,=20
USA<BR>* Gerd Brewka, University of Leipzig, Germany<BR>* J=FCrgen Dix, =
The=20
University of Manchester, UK<BR>* Thomas Eiter, Vienna University of =
Technology,=20
Austria<BR>* Klaus Fischer, DFKI, Germany<BR>* Michael Fisher, =
University of=20
Liverpool, UK<BR>* James Harland, Royal Melbourne Inst. of Tech., =
Australia<BR>*=20
Katsumi Inoue, Kobe University, Japan<BR>* Gerhard Lakemeyer, Aachen =
Univ. of=20
Technology, Germany<BR>* Jo=E3o Leite, New University of Lisbon, =
Portugal<BR>*=20
Yves Lesp=E9rance, York University, Canada<BR>* John Jules Ch. Meyer, =
Univ. of=20
Utrecht, The Netherlands<BR>* Leora Morgenstern, IBM, USA<BR>* Lu=EDs =
Moniz=20
Pereira, New University of Lisbon, Portugal<BR>* Fariba Sadri, Imperial =
College,=20
UK<BR>* Ken Satoh, National Institute of Informatics, Japan<BR>* Renate =
Schmidt,=20
The University of Manchester, UK<BR>* Guillermo Simari, Universidad =
Nacional del=20
Sur, Argentina<BR>* V. S. Subrahmanian, University of Maryland, USA<BR>* =
Francesca Toni, Imperial College, UK<BR>* Paolo Torroni, University of =
Bologna,=20
Italy<BR>* Wiebe van der Hoek, University of Liverpool, UK<BR>* Cees =
Witteveen,=20
Delft Univ. of Tech., The Netherlands<BR><BR>WORKSHOP ORGANIZERS:<BR>* =
J=FCrgen=20
Dix, The University of Manchester, UK (</FONT><A=20
href=3D"mailto:[email protected]"><FONT face=3D"Times New Roman"=20
size=3D3>[email protected]</FONT></A><FONT face=3D"Times New Roman" =
color=3D#000000=20
size=3D3>)<BR>* Jo=E3o Leite, New University of Lisbon, Portugal =
(</FONT><A=20
href=3D"mailto:jleite-ogrWd1N3sOcFQqZp/[email protected]"><FONT face=3D"Times New Roman"=20
size=3D3>jleite-ogrWd1N3sOcFQqZp/[email protected]</FONT></A><FONT face=3D"Times New Roman" =
color=3D#000000=20
size=3D3>)<BR><BR>INQUIRIES: Please send program suggestions and =
inquires to=20
either of the organizers.</FONT><BR></FONT></DIV></BODY></HTML>
------=_NextPart_000_0157_01C359ED.0CC51670--