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 seventh in a series of DDLP workshops
(1993, 1994,
1995,
1996,
1997,
1998).
Suggested topics for submissions include, but are not limited to:
Submission deadline: May 30, 1999 Notification of acceptance: June 20, 1999 Camera ready version: July 20, 1999
Dmitri Boulanger (Keldesh Institute, Moscow, Russia) Ulrich Geske (GMD-First Berlin, Germany) Fosca Giannotti (CNUCE-CNR Pisa, Italy) Parke Godfrey (Univ. of Maryland, USA) Jarek Gryz (York Univ., Toronto, Canada) Jack Minker (Univ. of Maryland, USA) Carolina Ruiz (Worcester Polytechnic Institute, USA) Dietmar Seipel (Univ. Würzburg, Germany)
Ulrich Geske:
GMD-FIRST Berlin
Rudower Chaussee 5, D - 12489 Berlin, Germany
Email: geske@first.gmd.deDietmar Seipel:
University of Würzburg
Department of Computer Science
Am Hubland, D - 97074 Würzburg, Germany
Email: seipel@informatik.uni-wuerzburg.de
This page is also available as PostScript file.