6th European Workshop on Logics in AI
Schloss Dagstuhl, Germany |
[POSTER BIG] [POSTER SMALL] |
Conference Pictures | |
Invited Talks, Slides and other Post Conference Infos | |
Workshop Programme | |
Conference Center Schloss Dagstuhl | |
Registration | |
Call for Participation | |
List of Accepted Papers | |
Dates |
About JELIA '98 | Submission | Important Dates | Final Version | Invited Speakers | Workshop and Programme Chairs | Programme Committee |
About JELIA'98 |
The European Workshop on Logics in AI provides a major biennial forum for the discussion of logic-oriented approaches to artificial intelligence. The aim of this series of workshops is to bring together researchers involved in all aspects of logic in artificial intelligence. Five previous meetings were held in France (1988), The Netherlands (1990), Germany (1992), England (1994) and Portugal (1996).
This sixth meeting will be held in Schloß Dagstuhl, Germany, during October 12 - October 15, 1998. It is organized by the Research Committee 1.2 Inference Systems (Fachausschuß 1.2 Inferenzsysteme) of the German Society of Computer Science (Gesellschaft für Informatik e. V.). A particular emphasis of the 1998 workshop will be the applications of running systems.
As in previous workshops, the aim is to bring together researchers involved in all aspects of logic in artificial intelligence. A particular emphasis of the 1998 workshop will be the applications of running systems.
The workshop will include submitted contributions and a small number of invited papers, all of which will be presented in plenary sessions. Papers are sought in areas which include (but are not limited to) the following topics:
foundations of logic programming and knowledge-based systems |
automated theorem proving |
knowledge representation |
non-classical logics |
nonmonotonic reasoning and belief revision |
abductive and inductive reasoning |
program verfication |
hybrid reasoning systems |
applications of logic-based systems |
logics in machine learning |
All submitted papers will be refereed by an international programme committee and selections will be made on the basis of originality and significance.
The best papers of JELIA '94 were published in a special issue of the Journal of Applied Non-Classical Logics (5(1)*1995), the best papers of the JELIA '96 were just published in a special issue of the Journal of Automated Reasoning (20(1)*1998).
Submission Requirements |
Selected papers will undergo an additional refereeing process after the workshop and full versions of these papers will be published in the Annals of Mathematics and Artificial Intelligence.
Authors are asked to submit their papers as Postscript files to the Program Co-Chair Ulrich Furbach (see left side box for address) before May 1, 1998. Submitted papers should be prepared under LaTeX according to the Springer LNCS style file and not exceed 15 pages.
Final Version Notes |
***IMPORTANT***
Jürgen Dix Fachbereich Informatik Universität Koblenz Rheinau 1 56075 Koblenz, Germany |
Please send all electronic material to jelia98@uni-koblenz.de
Important Dates |
Paper submission deadline: May 1, 1998 Author Notification: June 26, 1998 Final version due on: July 31, 1998 Early Registration Deadline: August 31, 1998 Registration Deadline: September 30, 1998 Conference: October 12-15, 1998
|
Workshop and Programme Chairs |
Workshop ChairJürgen DixArtificial Intelligence research group Institute for Computer Science University of Koblenz Rheinau 1, D-56075 Koblenz, Germany. E-mail: dix@informatik.uni-koblenz.de Tel: +49 261 9119 420 Fax: +49 261 9119 496 |
Programme ChairsUlrich FurbachArtificial Intelligence research group Institute for Computer Science University of Koblenz Rheinau 1, D-56075 Koblenz, Germany. E-mail: uli@informatik.uni-koblenz.de Tel: +49 261 9119 433 Fax: +49 261 9119 496 |
Luis Farinas del Cerro IRIT, Universite Paul Sabatier 118 route de Narbonne F-31062 Toulouse Cedex 4, France. E-mail: Luis.Farinas@irit.fr Tel: +33 561 556345 Fax: +33 561 558325 |
Programme Committee |
Bruno Buchberger | <Bruno.Buchberger@risc.uni-linz.ac.at> |
---|---|
Ricardo Caferra | <caferra@cosmos.imag.fr> |
Robert Demolombe | <demolombe@tls-cs.cert.fr> |
Juergen Dix (Workshop Chair) | <dix@informatik.uni-koblenz.de> |
Patrice Enjalbert | <patrice@info.unicaen.fr> |
Luis Farinas del Cerro (Programme Co-Chair) | <farinas@irit.fr> |
Ulrich Furbach (Programme Co-Chair) | <uli@informatik.uni-koblenz.de> |
Pascal van Hentenryck | <pvh@cs.brown.edu> |
Michael Kohlhase | <kohlhase@ags.uni-sb.de> |
Vladimir Lifschitz | <vl@cs.utexas.edu> |
Kym MacNish | <kym@cs.uwa.edu.au> |
Daniele Mundici | <mundici@imiucca.csi.unimit.it> |
Ilkka Niemelä | <ini@invariant.hut.fi> |
David Pearce | <pearce@dfki.uni-sb.de> |
Luís Moniz Pereira | <lmp@fct.unl.pt> |
Teodor C Przymusinski | <teodor@cs.ucr.edu> |
Andrzej Szalas | <szalase@mimuw.edu.pl> |
Mary-Anne Williams | <maryanne@infosystems.newcastle.edu.au> |
Stefan Wrobel | <Stefan.Wrobel@gmd.de> |
Invited Speakers |
Erik Sandewall, Linköping University, SE Bart Selman, Cornell University, USA Paul Tarau, Université de Moncton, CANADA |
Post Conference Information |
The slides of Paul Tarau's talk and an extended version of his paper are available by clicking here. There are also other links about Jinni on his homepage.
And last but not least, Bart Selman was so friendly to make his slides available online, see here.