12. WLP 1997: München, Germany

Constraint Logic Programming I

• Hans-Joachim Goltz: Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP. 0- BibTeX
• André Schiemann, Ulrich John, Ulrich Geske, Dmitri Boulanger: Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon. 0- BibTeX

Applications

• Slim Abdennadher, Hans Schlenker: INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen. 0- BibTeX
• Harold Boley: Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung. 0- BibTeX

Semantics of Logic Programming

• Dmitri Boulanger: Analyzing Declarative Semantics of Logic Programs. 0- BibTeX
• Gerhard Wetzel: A Unifying Framework for Abductive and Constraint Logic Programming. 0- BibTeX

Theory

• Uwe Egly, Hans Tompits: A Sequent Calculus for Intuitionistic Default Logic. 0- BibTeX
• Armin Wolf: Adaptiv-inkrementelle Unifikation. 0- BibTeX
• Michael Leuschel: Extending Homeomorphic Embedding in the Context of Logic Programming. 0- BibTeX

Constraint Logic Programming II

• Tobias Müller, Martin Müller: Finite Set Intervals in Oz. 17-19 BibTeX
• Michael Leuschel, Danny De Schreye: Constrained Partial Deduction. 0- BibTeX

Non-Monotonic Reasoning

• Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The dlv System: Model Generator and Advanced Frontends (system description). 0- BibTeX
• Dietmar Seipel: DisLog - A Disjunctive Deductive Database Prototype (system description). 0- BibTeX
• Ulrich Zukowski, Burkhard Freitag: An Overview of the LOLA System (system description). 0- BibTeX

Paradigms in LP-Systems

• Michael Hanus: Curry: A Multi-Paradigm Declarative Language (system description). 0- BibTeX
• Paul-Thomas Kandzia, Christian Schlepphorst: FLORID - A Prototype for F-Logic (system description). 0- BibTeX

Theorem Provers

• Ortrun Ibens: The SETHEO System (system description). 0- BibTeX
• Mathias Kettner, Norbert Eisinger: Der Tableau-Browser SNARKS (system description). 0- BibTeX

Planning Systems

• Dmitri Boulanger, Andreas Fordan, Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Alexander Nareyek, André Schiemann, Armin Wolf: Constraint-basierte Planung und Konfiguration (system description). 0- BibTeX

Reasoning Systems

• Manfred Schramm, Volker Fischer: Probabilistic Reasoning with Maximum Entropy - The System PIT (system description). 0- BibTeX
• Iris Pigeot, Ursula Robers: The Use of Inductive Logic Programming for the Developement of the Statistical Software Tool CORA (system description). 0- BibTeX
• Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter: Attempto - Englisch als (formale) Spezifikationssprache (system description). 0- BibTeX