[asian-logic 154] CFP: JELIA'04 - 9th European Conference on Logics in Artificial Intelligence
João Alexandre Leite <jleite-ogrWd1N3sOcFQqZp/[email protected]> Sun, 25 Jan 2004 04:35:08 -0000
| Newsgroups | gmane.science.mathematics.logic.asian |
|---|---|
| Message-ID | <0c3001c3e2fc$9d1ceb60$e98d5451@ISABEL> |
This is a multi-part message in MIME format.
------=_NextPart_000_0C2D_01C3E2FC.9CC2BD70
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
/------------------------------------------------------------------/
CALL FOR PAPERS
9th European Conference on Logics in Artificial Intelligence
JELIA'04
Lisbon, Portugal, September 27-30
http://centria.di.fct.unl.pt/~jelia2004
Submission deadline: May 9th (abstracts due May 6th)
/------------------------------------------------------------------/
INTRODUCTION
Logics have, for many years, laid claim to providing a formal
basis for the study and development of applications and
systems in Artificial Intelligence. With the depth and maturity
of formalisms, methodologies and logic-based systems today,
this claim is stronger than ever.
The European Conference on Logics in Artificial Intelligence (or
Journ=E9es Europ=E9ennes sur la Logique en Intelligence
Artificielle - JELIA) began back in 1988, as a workshop, in
response to the need for a European forum for the discussion
of emerging work in this field. Since then, JELIA has been
organised biennially, with English as official language, and with
proceedings published in Springer-Verlag's Lecture Notes in
Artificial Intelligence. Previous meetings took place in Roscoff,
France (1988), Amsterdam, Netherlands (1990), Berlin,
Germany (1992), York, U.K. (1994), =C9vora, Portugal (1996),
Dagstuhl, Germany (1998), M=E1laga, Spain (2000) and Cosenza,
Italy (2002).
The increasing interest in this forum, its international level
with growing participation from researchers outside Europe,
and the overall technical quality, has turned JELIA into a major
biennial forum for the discussion of logic-based approaches to
artificial intelligence.
AIM AND SCOPE
The aim of the 9th European Conference on Logics in Artificial
Intelligence, JELIA'04, is to bring together active researchers
interested in all aspects concerning the use of logics in
artificial intelligence to discuss current research, results,
problems and applications of both a theoretical and practical
nature.
JELIA strives to foster links and facilitate cross-fertilisation of
ideas among researchers from various disciplines, among
researchers from academia and industry, and between
theoreticians and practitioners. Authors are invited to submit
papers presenting original and unpublished research in all
areas related to the use of Logics in AI. A non-exhaustive list of
topics of interest includes:
-Abductive and inductive reasoning
-Applications of logic-based systems
-Automated reasoning and theorem proving
-Computational complexity and expressiveness in AI
-Description logics
-Foundations of logic programming and knowledge-based systems
-Hybrid reasoning systems
-Knowledge representation and reasoning
-Logic based AI systems
-Logic based applications to the Semantic Web
-Logic based planning and diagnosis
-Logic programming and nonmonotonic reasoning
-Logics and multi-agent systems
-Logics in machine learning
-Modal, temporal, spacial and hybrid logics
-Non-classical logics
-Nonmonotonic reasoning, belief revision and updates
-Reasoning about actions, causal reasoning and causation
-Uncertain and probabilistic reasoning
SUBMISSIONS
Papers should be written in English, formatted according to the
Springer LNCS style, and not exceed 13 pages including figures,
references, etc. Please refer to the conference web pages for
further instructions concerning the submission procedures.
IMPORTANT DATES
Abstract Submission: May 6th, 2004
Paper Submission: May 9th, 2004
Notification: June 21st, 2004
Camera Ready Copy: July 5th, 2004
PROCEEDINGS
Proceedings will be published by Springer-Verlag as a volume of
the Lecture Notes on Artificial Intelligence series. It is also
foreseen the publication of a special issue of a journal
collecting extended versions of selected papers presented at
the conference.
SYSTEM PRESENTATIONS
There will be a special session devoted to the presentation of
implemented systems. Please refer to the conference web
pages for further information.
CONFERENCE OFFICIALS
Conference Chair: Jo=E3o Leite, Universidade Nova de Lisboa, Portugal
Program Chair: Jos=E9 J=FAlio Alferes, Universidade Nova de Lisboa, =
Portugal
PROGRAM COMMITTEE
-Jos=E9 J=FAlio Alferes, Universidade Nova de Lisboa, Portugal
-Franz Baader, TU Dresden, Germany
-Salem Benferhat, Universit=E9 d'Artois, France
-Alexander Bochman, Holon Academic Institute of Technology, Israel
-Gerhard Brewka, University of Leipzig, Germany
-Walter Carnielli, Universidade Estadual de Campinas, Brazil
-Luis Fari=F1as del Cerro, Universit=E9 Paul Sabatier, France
-James Delgrande, Simon Fraser University, Canada
-J=FCrgen Dix, TU Clausthal, Germany
-Roy Dyckhoff, University of St Andrews, UK
-Thomas Eiter, TU Wien, Austria
-Patrice Enjalbert, Universit=E9 de Caen, France
-Michael Fisher, University of Liverpool, UK
-Ulrich Furbach, University Koblenz-Landau, Germany
-Michael Gelfond, Texas Tech University, USA
-Sergio Greco, Universit=E0 della Calabria, Italy
-Jo=E3o Leite, Universidade Nova de Lisboa, Portugal
-Maurizio Lenzerini, Universit=E0 di Roma "La Sapienza", Italy
-Nicola Leone, Universit=E0 della Calabria, Italy
-Vladimir Lifschitz, University of Texas at Austin, USA
-Maarten Marx, Universiteit van Amsterdam, The Netherlands
-John-Jules Meyer, Universiteit Utrecht, The Netherlands
-Bernhard Nebel, Universit=E4t Freiburg, Germany
-Ilkka Niemel=E4, Helsinki University of Technology, Finland
-Manuel Ojeda-Aciego, Universidad de M=E1laga, Spain
-David Pearce, Universidad Rey Juan Carlos, Spain
-Lu=EDs Moniz Pereira, Universidade Nova de Lisboa, Portugal
-Henry Prakken, Universiteit Utrecht, The Netherlands
-Luc de Raedt, Universit=E4t Freiburg, Germany
-Ken Satoh, National Institute of Informatics, Japan
-Renate Schmidt, University of Manchester, UK
-Terrance Swift, SUNY at Stony Brook, USA
-Mirek Truszczynski, University of Kentucky, USA
-Wiebe van der Hoek, University of Liverpool, UK
-Toby Walsh, University College Cork, Ireland
-Mary-Anne Williams, The University of Technology, Sydney, Australia
-Michael Zakharyaschev, King's College, UK
CONTACT
Send your questions and comments to jelia04-ogrWd1N3sOcFQqZp/[email protected]
------=_NextPart_000_0C2D_01C3E2FC.9CC2BD70
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.2800.1276" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY=20
bgColor=3D#ffffff>/------------------------------------------------------=
------------/<BR> &n=
bsp; &nb=
sp; =20
CALL FOR PAPERS<BR> 9th European Conference on Logics in =
Artificial=20
Intelligence<BR> &nb=
sp; &nbs=
p; =20
JELIA'04<BR> &=
nbsp; =20
Lisbon, Portugal, September=20
27-30<BR> &nbs=
p; =20
<A=20
href=3D"http://centria.di.fct.unl.pt/~jelia2004">http://centria.di.fct.un=
l.pt/~jelia2004</A><BR> =20
Submission deadline: May 9th (abstracts due May=20
6th)<BR>/----------------------------------------------------------------=
--/<BR><BR>INTRODUCTION<BR>Logics=20
have, for many years, laid claim to providing a formal<BR>basis for the =
study=20
and development of applications and<BR>systems in Artificial =
Intelligence. With=20
the depth and maturity<BR>of formalisms, methodologies and logic-based =
systems=20
today,<BR>this claim is stronger than ever.<BR>The European Conference =
on Logics=20
in Artificial Intelligence (or<BR>Journ=E9es Europ=E9ennes sur la =
Logique en=20
Intelligence<BR>Artificielle - JELIA) began back in 1988, as a workshop, =
in<BR>response to the need for a European forum for the discussion<BR>of =
emerging work in this field. Since then, JELIA has been<BR>organised =
biennially,=20
with English as official language, and with<BR>proceedings published in=20
Springer-Verlag's Lecture Notes in<BR>Artificial Intelligence. Previous =
meetings=20
took place in Roscoff,<BR>France (1988), Amsterdam, Netherlands (1990),=20
Berlin,<BR>Germany (1992), York, U.K. (1994), =C9vora, Portugal=20
(1996),<BR>Dagstuhl, Germany (1998), M=E1laga, Spain (2000) and =
Cosenza,<BR>Italy=20
(2002).<BR>The increasing interest in this forum, its international=20
level<BR>with growing participation from researchers outside =
Europe,<BR>and the=20
overall technical quality, has turned JELIA into a major<BR>biennial =
forum for=20
the discussion of logic-based approaches to<BR>artificial=20
intelligence.<BR><BR>AIM AND SCOPE<BR>The aim of the 9th European =
Conference on=20
Logics in Artificial<BR>Intelligence, JELIA'04, is to bring together =
active=20
researchers<BR>interested in all aspects concerning the use of logics=20
in<BR>artificial intelligence to discuss current research, =
results,<BR>problems=20
and applications of both a theoretical and practical<BR>nature.<BR>JELIA =
strives=20
to foster links and facilitate cross-fertilisation of<BR>ideas among =
researchers=20
from various disciplines, among<BR>researchers from academia and =
industry, and=20
between<BR>theoreticians and practitioners. Authors are invited to=20
submit<BR>papers presenting original and unpublished research in =
all<BR>areas=20
related to the use of Logics in AI. A non-exhaustive list of<BR>topics =
of=20
interest includes:<BR>-Abductive and inductive =
reasoning<BR>-Applications of=20
logic-based systems<BR>-Automated reasoning and theorem=20
proving<BR>-Computational complexity and expressiveness in =
AI<BR>-Description=20
logics<BR>-Foundations of logic programming and knowledge-based=20
systems<BR>-Hybrid reasoning systems<BR>-Knowledge representation and=20
reasoning<BR>-Logic based AI systems<BR>-Logic based applications to the =
Semantic Web<BR>-Logic based planning and diagnosis<BR>-Logic =
programming and=20
nonmonotonic reasoning<BR>-Logics and multi-agent systems<BR>-Logics in =
machine=20
learning<BR>-Modal, temporal, spacial and hybrid =
logics<BR>-Non-classical=20
logics<BR>-Nonmonotonic reasoning, belief revision and =
updates<BR>-Reasoning=20
about actions, causal reasoning and causation<BR>-Uncertain and =
probabilistic=20
reasoning<BR><BR>SUBMISSIONS<BR>Papers should be written in English, =
formatted=20
according to the<BR>Springer LNCS style, and not exceed 13 pages =
including=20
figures,<BR>references, etc. Please refer to the conference web pages=20
for<BR>further instructions concerning the submission=20
procedures.<BR><BR>IMPORTANT DATES<BR>Abstract Submission: May 6th,=20
2004<BR>Paper Submission: May 9th, 2004<BR>Notification: June 21st,=20
2004<BR>Camera Ready Copy: July 5th, =
2004<BR><BR>PROCEEDINGS<BR>Proceedings will=20
be published by Springer-Verlag as a volume of<BR>the Lecture Notes on=20
Artificial Intelligence series. It is also<BR>foreseen the publication =
of a=20
special issue of a journal<BR>collecting extended versions of selected =
papers=20
presented at<BR>the conference.<BR><BR>SYSTEM PRESENTATIONS<BR>There =
will be a=20
special session devoted to the presentation of<BR>implemented systems. =
Please=20
refer to the conference web<BR>pages for further =
information.<BR><BR>CONFERENCE=20
OFFICIALS<BR>Conference Chair: Jo=E3o Leite, Universidade Nova de =
Lisboa,=20
Portugal<BR>Program Chair: Jos=E9 J=FAlio Alferes, Universidade Nova de =
Lisboa,=20
Portugal<BR><BR>PROGRAM COMMITTEE<BR>-Jos=E9 J=FAlio Alferes, =
Universidade Nova de=20
Lisboa, Portugal<BR>-Franz Baader, TU Dresden, Germany<BR>-Salem =
Benferhat,=20
Universit=E9 d'Artois, France<BR>-Alexander Bochman, Holon Academic =
Institute of=20
Technology, Israel<BR>-Gerhard Brewka, University of Leipzig, =
Germany<BR>-Walter=20
Carnielli, Universidade Estadual de Campinas, Brazil<BR>-Luis Fari=F1as =
del Cerro,=20
Universit=E9 Paul Sabatier, France<BR>-James Delgrande, Simon Fraser =
University,=20
Canada<BR>-J=FCrgen Dix, TU Clausthal, Germany<BR>-Roy Dyckhoff, =
University of St=20
Andrews, UK<BR>-Thomas Eiter, TU Wien, Austria<BR>-Patrice Enjalbert, =
Universit=E9=20
de Caen, France<BR>-Michael Fisher, University of Liverpool, =
UK<BR>-Ulrich=20
Furbach, University Koblenz-Landau, Germany<BR>-Michael Gelfond, Texas =
Tech=20
University, USA<BR>-Sergio Greco, Universit=E0 della Calabria, =
Italy<BR>-Jo=E3o=20
Leite, Universidade Nova de Lisboa, Portugal<BR>-Maurizio Lenzerini, =
Universit=E0=20
di Roma "La Sapienza", Italy<BR>-Nicola Leone, Universit=E0 della =
Calabria,=20
Italy<BR>-Vladimir Lifschitz, University of Texas at Austin, =
USA<BR>-Maarten=20
Marx, Universiteit van Amsterdam, The Netherlands<BR>-John-Jules Meyer,=20
Universiteit Utrecht, The Netherlands<BR>-Bernhard Nebel, Universit=E4t =
Freiburg,=20
Germany<BR>-Ilkka Niemel=E4, Helsinki University of Technology, =
Finland<BR>-Manuel=20
Ojeda-Aciego, Universidad de M=E1laga, Spain<BR>-David Pearce, =
Universidad Rey=20
Juan Carlos, Spain<BR>-Lu=EDs Moniz Pereira, Universidade Nova de =
Lisboa,=20
Portugal<BR>-Henry Prakken, Universiteit Utrecht, The =
Netherlands<BR>-Luc de=20
Raedt, Universit=E4t Freiburg, Germany<BR>-Ken Satoh, National Institute =
of=20
Informatics, Japan<BR>-Renate Schmidt, University of Manchester, =
UK<BR>-Terrance=20
Swift, SUNY at Stony Brook, USA<BR>-Mirek Truszczynski, University of =
Kentucky,=20
USA<BR>-Wiebe van der Hoek, University of Liverpool, UK<BR>-Toby Walsh,=20
University College Cork, Ireland<BR>-Mary-Anne Williams, The University =
of=20
Technology, Sydney, Australia<BR>-Michael Zakharyaschev, King's College, =
UK<BR><BR>CONTACT<BR>Send your questions and comments to <A=20
href=3D"mailto:jelia04-ogrWd1N3sOcFQqZp/[email protected]">[email protected]</A><BR><BR>
<DIV><FONT face=3DArial size=3D2></FONT> </DIV></BODY></HTML>
------=_NextPart_000_0C2D_01C3E2FC.9CC2BD70--