Slim Abdenaher, Hans Schlenker (LMU München, Germany):
INTERDIP - Ein interaktiver constraint-basierter
Dienstplaner für Krankenstationen
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
Ortrun Ibens (TU München, Germany):
The SETHEO System
Iris Pigeot, Ursula Robers
(LMU München, Universität Dortmund, Germany):
CORA - Ein wissensbasiertes Assistentensystem
zur Auswertung geschichteter Kontingenztafeln
Michael Hanus (RWTH Aachen, Germany):
Curry: A Multi-Paradigm Declarative Language
Dietmar Seipel (Universität Würzburg, Germany):
DisLog - A Disjunctive Deductive Database Prototype
Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter
(Universität Zürich, Schweiz):
Attempto - Englisch als (formale) Spezifikationssprache
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
Paul-Th. Kandzia, Christian Schlepphorst
(Universität Freiburg, Germany):
FLORID - A Prototype for F-Logic
Ulrich Zukowski, Burkhard Freitag
(Universität Passau, Germany):
An Overview of the LOLA System