6th European Workshop on Logics in AI

Schloss Dagstuhl, Germany
October 12 - 15, 1998

JELIA'98
[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
Authors are asked to submit their papers as Postscript files to the Programme Co-Chair
Ulrich Furbach before May 1, 1998. The Proceedings will be published in the LNAI series by Springer-Verlag and made available at the workshop.

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.

Call For Papers (PS-File)
Final Version Notes
It is important for preparing the final version (latex 2e is highly appreciated) to follow the instructions given at

http://www.springer.de/comp/lncs/authors.html

***IMPORTANT***

  1. Do not forget to send us the .tex-file (including all personal styles) and also add the bibliography.

  2. Please copy the Springer copyright form, sign it and send it by regular mail to:
    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 Chair

Jürgen Dix
Artificial 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 Chairs

Ulrich Furbach
Artificial 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
Here is a link for more information about the
WITAS Project Erik Sandewall gave a talk about. Erik Sandewall is also involved in the Electronic Transactions on Artificial Intelligence.

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.

 



Counter visitors since November 10, 1997.
Comments and Suggestions on this page are welcome!