Abstract is missing.
- Curry: A Multi-Paradigm Declarative Language (system description)Michael Hanus.
- Analyzing Declarative Semantics of Logic ProgramsDmitri Boulanger.
- INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für KrankenstationenSlim Abdennadher, Hans Schlenker.
- A Sequent Calculus for Intuitionistic Default LogicUwe Egly, Hans Tompits.
- Wissensbasen im World Wide Web: Eine Herausforderung für die logische ProgramimerungHarold Boley.
- FLORID - A Prototype for F-Logic (system description)Paul-Thomas Kandzia, Christian Schlepphorst.
- The SETHEO System (system description)Ortrun Ibens.
- An Overview of the LOLA System (system description)Ulrich Zukowski, Burkhard Freitag.
- Adaptiv-inkrementelle UnifikationArmin Wolf.
- Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaConAndré Schiemann, Ulrich John, Ulrich Geske, Dmitri Boulanger.
- DisLog - A Disjunctive Deductive Database Prototype (system description)Dietmar Seipel.
- Attempto - Englisch als (formale) Spezifikationssprache (system description)Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter.
- Extending Homeomorphic Embedding in the Context of Logic ProgrammingMichael Leuschel.
- Probabilistic Reasoning with Maximum Entropy - The System PIT (system description)Manfred Schramm, Volker Fischer.
- Constrained Partial DeductionMichael Leuschel, Danny De Schreye.
- The dlv System: Model Generator and Advanced Frontends (system description)Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello.
- Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIPHans-Joachim Goltz.
- Constraint-basierte Planung und Konfiguration (system description)Dmitri Boulanger, Andreas Fordan, Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Alexander Nareyek, André Schiemann, Armin Wolf.
- A Unifying Framework for Abductive and Constraint Logic ProgrammingGerhard Wetzel.
- Der Tableau-Browser SNARKS (system description)Mathias Kettner, Norbert Eisinger.
- Finite Set Intervals in OzTobias Müller, Martin Müller. 17-19