Call For Papers

6th International Workshop on

Deductive Databases and Logic Programming


Manchester, UK, June 20, 1998

Joint International Conference and Symposium on Logic Programming
Post-Conference Workshop

The integration of logic and deduction into databases and knowledge bases has created the field of deductive databases. Deductive databases can be used for building intelligent information systems. Logic programming provides a powerful declarative language for accessing and maintaining knowledge in databases. In addition, techniques from automated deduction and deductive databases are useful for achieving efficient retrieval and reasoning in large knowledge bases.

Recent results in logic programming, constraint logic programming, program transformation and optimization, and non-monotonic reasoning are useful for extending the expressive power and the computational efficiency of deductive database systems. With the goal of creating opportunities for active discussions on new research directions and the exchange of latest results in the above areas, we are organizing a one day workshop, with presentations of half an hour. This will be the sixth in a series of DDLP workshops that have been held in conjunction with ICLP conferences since 1993 (1994, 1995, 1996, 1997).

Suggested topics for submissions include, but are not limited to:


The primary focus is on new and original research. But we also encourage the submission of papers describing products, prototypes in development or benchmarks.
Full papers or extended abstracts in English of 6 to 10 pages are welcome. Authors are invited to send their papers to one of the organizers by May 11, 1998. Submission in LaTeX format (please use the predefined format to be found at the DDLP'98 web pages) by e-mail is encouraged.

Important Dates

Extended submission deadline: May 11, 1998
Notification of acceptance: May 25, 1998
Camera ready version: June 7, 1998

Program Committee

Nicole Bidoit (Univ. de Bordeaux 1, France)
Dmitri Boulanger (Keldesh Institute, Moscow, Russia)
François Bry (Univ. Munich, Germany)
Piero Fraternali (Politecnico di Milano, Italy)
Ulrich Geske (GMD-First Berlin, Germany)
Michael Gelfond (Univ. of Texas, El Paso, USA)
Fosca Giannotti (CNUCE-CNR Pisa, Italy)
Jarek Gryz (York Univ., Toronto, Canada)
Alexandre Lefebvre (Next Century Media, France)
Vladimir Lifschitz (Univ. of Texas, Austin, USA)
Jorge Lobo (Univ. Illinois, Chicago, USA)
Jack Minker (Univ. Maryland, USA)
Carolina Ruiz (Worcester Polytechnic Institute, USA)
Chiaki Sakama (Wakayama Univ., Japan)
Dietmar Seipel (Univ. Würzburg, Germany)
Adnan Yahya (Birzeit Univ., Palestine)

Organizing Committee

Piero Fraternali:
Politecnico di Milano
Piazzale Gerbetto 6, 22100 Como, Italy

Ulrich Geske:
Rudower Chaussee 5, D - 12489 Berlin, Germany

Carolina Ruiz:
Worcester Polytechnic Institute
Department of Computer Science
Worcester, MA, 01609. USA

Dietmar Seipel:
University of Würzburg
Department of Computer Science
Am Hubland, D - 97074 Würzburg, Germany

This page is also available as PostScript file.