Time Table

Invited Speakers

• Thursday, 18.09.97, 10:00 - 11:00

  Michael Hanus (RWTH Aachen, Germany):
  Multi-Paradigm Declarative Programming

• Friday, 19.09.97, 9:00 - 10:00

  Thom Frühwirth (LMU München, Germany):
  Constraint-Programmierung

Paper Sessions

Session 1: Constraint Logic Programming I

• Hans-Joachim Goltz (GMD FIRST, Berlin, Germany):
  Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP

• André Schiemann, Ulrich John, Ulrich Geske, Dmitri Boulanger (GMD FIRST, Berlin, Germany):
  Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon

• Slim Abdennadher, Hans Schlenker (LMU München, Germany):
  INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen

• Harold Boley (DFKI Kaiserslautern, Germany):
  Wissensbasen im World Wide Web: Eine Herausforderung für die Logische Programmierung

• Dmitri Boulanger (GMD FIRST, Berlin, Germany):
  Analyzing Declarative Semantics of Logic Programs

• Gerhard Wetzel (Brooklyn College, New York, USA):
  A Unifying Framework for Abductive and Constraint Logic Programming

• Uwe Egly, Hans Tompits (TU Wien, Austria):
  A Sequent Calculus for Intuitionistic Default Logic

• Armin Wolf (GMD FIRST, Berlin, Germany):
  Adaptiv-inkrementelle Unifikation

• Michael Leuschel (K.U. Leuven, Belgium):
  Extending Homeomorphic Embedding in the Context of Logic Programming

• Tobias Müller, Martin Müller (Universität des Saarlandes, Saarbrücken, Germany):
  Finite Set Intervals in Oz

• Michael Leuschel, Danny de Schreye (K.U. Leuven, Belgium):
  Constrained Partial Deduction

System Demonstrations

Demo 1: Non-Monotonic Reasoning

• Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello (TU Wien, Austria, Universität Gießen, Germany, Univ. della Calabria, Rende, Italy):
  The dlv System: Its Model Generator and Advanced Frontends

• Dietmar Seipel (Universität Würzburg, Germany):
  DisLog - A Disjunctive Deductive Database Prototype

• Ulrich Zukowski, Burkhard Freitag (Universität Passau, Germany):
  An Overview of the LOLA System

• Michael Hanus (RWTH Aachen, Germany):
  Curry: A Multi-Paradigm Declarative Language

• Paul-Th. Kandzia, Christian Schlepphorst (Universität Freiburg, Germany):
  FLORID - A Prototype for F-Logic

• Ortrun Ibens (TU München, Germany):
  The SETHEO System

• Mathias Kettner, Norbert Eisinger (LMU München, Germany):
  Der Tableau-Browser SNARKS

• Dmitri Boulanger, Andreas Fordan, Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Alexander Nareyek, André Schiemann, Armin Wolf (GMD-FIRST, Berlin, Germany):
  Constraint-basierte Planung und Konfiguration

• Slim Abdenaher, Hans Schlenker (LMU München, Germany):
  INTERDIP - Ein interaktiver constraint-basierter Dienstplaner für Krankenstationen

• Manfred Schramm, Volker Fischer (TU München, Germany):
  Probabilistic Reasoning with Maximum Entropy - The System PIT

• Iris Pigeot, Ursula Robers (LMU München, Universität Dortmund, Germany):
  CORA - Ein wissensbasiertes Assistentensystem zur Auswertung geschichteter Kontingenztafeln

• Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter (Universität Zürich, Schweiz):
  Attempto - Englisch als (formale) Spezifikationssprache