CFP: "Deductive Databases and Logic Programming"

CFP: "Deductive Databases and Logic Programming"

Post by Carolina Rui » Fri, 21 Feb 1997 04:00:00

[ new_cfp.ascii 4K ]


                              Call For Papers

                      Fifth International Workshop on


                          in conjunction with the

                      Leuven, Belgium, July 8-12, 1997


WWW - Sites:;  European Site               USA Site             European Site


Following the previous meetings in Budapest, Hungary (1993), Santa
Margherita Ligure, Italy (1994), Kanagawa, Japan (1995), and Bonn, Germany
(1996), this Fifth ICLP-workshop on Deductive Databases and Logic
Programming DDLP'97 will be held in Leuven, Belgium.
The meeting will be run as a post-conference workshop of the 1997
International Conference on Logic Programming, which will be held on July
8-12, 1997.

The integration of deductive databases and logic programming leads to
intelligent information systems. Techniques from deductive databases must
be used for achieving efficient retrieval and reasoning in large knowledge
bases, or databases which are distributed over the Web. Logic programming
provides a powerful declarative language for accessing and maintaining
knowledge in databases. 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.

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

   * disjunctive deductive databases, uncertain information
   * non-monotonic semantics
   * query languages and optimization
   * program transformations
   * integration of heterogeneous knowledge
   * execution and debugging models
   * data mining
   * management of semi-structured information
   * querying the World-Wide-Web
   * constraint databases
   * object-oriented databases
   * active databases, updates
   * temp*databases

The workshop is planned to be one day, with presentations of half an hour.
A fundamental goal is to give opportunities for active discussions on new
research directions and the exchange of latest results.



  Ulrich Geske       (GMD-First Berlin, Germany)
  Carolina Ruiz      (Worcester Polytech. Inst. and U. Pittsburgh, USA)
  Dietmar Seipel     (Univ. Wuerzburg, Germany)


  Dmitri Boulanger   (Keldesh Institute, Moscow, Russia)
  Maurice Bruynooghe (Kath. Univ. Leuven, Belgium)
  Francois Bry       (Univ. Munich, Germany)
  Burkhard Freitag   (Univ. Passau, Germany)
  Ulrich Geske       (GMD-First Berlin, Germany)
  Fosca Giannotti    (CNUCE-CNR Pisa, Italy)
  Jorge Lobo         (Univ. Illinois, Chicago, USA)
  Jack Minker        (Univ. Maryland, USA)
  Dino Pedreschi     (Univ. Pisa, Italy)
  Carolina Ruiz      (Worcester Polytech. Inst. and U. Pittsburgh, USA)
  Chiaki Sakama      (Wakayama Univ., Japan)
  Dietmar Seipel     (Univ. Wuerzburg, Germany)
  Carlo Zaniolo      (UCLA Los Angeles, USA)



  Submission deadline:          April 6, 1997
  Notification of acceptance:   May 2, 1997
  Camera ready version:         June 2, 1997


The primary focus is on new and original research. But we also encourage the
submission of papers describing products, prototypes in development or
Full papers or extended abstracts in English of 6 to 10 pages are welcome on
any aspects of deductive databases and new concepts of logic programming
supporting it. Authors are invited to send their papers to one of the
organizers until April 6, 1997. Submission in*or plain TeX format by
e-mail is encouraged.
Notification of acceptance will be no later than May 2, 1997.
The final, camera-ready versions of the accepted papers must be received by
June 2, 1997 to be included into the workshop proceedings.

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

     Carolina Ruiz:
     University of Pittsburgh
     Department of Computer Science, 209A MIB
     Pittsburgh, PA 15260, USA

     Dietmar Seipel:
     University of Wuerzburg
     Department of Computer Science
     Am Hubland, D - 97074 Wuerzburg, Germany