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).
Topics of Interest
Suggested topics for submissions include, but are not limited to:
- disjunctive deductive databases, uncertain knowledge
- non-monotonic semantics
- query languages and query optimization
- heterogeneous knowledge bases
- semi-structured information, querying the Web
- data mining, inductive logic programming
- program transformations
- constraint databases
- spatial and temporal deductive databases
- database updates
- object-oriented and active databases
Submissions
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 July 11, 1999. Submission in LaTeX format (please use the predefined format to be found at the DDLP'99 web pages) by e-mail is encouraged.
Important Dates
Submission deadline: July 11, 1999 Notification of acceptance: July 25, 1999 Camera ready version: August 10, 1999 Program Committee
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) Chiaki Sakama (Wakayama Univ., Japan) Dietmar Seipel (Univ. Würzburg, Germany) Organizing Committee
Ulrich Geske:
GMD-FIRST Berlin
Rudower Chaussee 5, D - 12489 Berlin, Germany
Email: geske@first.gmd.deCarolina Ruiz:
Worcester Polytechnic Institute
Department of Computer Science
Worcester, MA, 01609, USA
Email: ruiz@cs.wpi.eduDietmar 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.