12. WLP 1997: München, Germany

François Bry, Burkhard Freitag, Dietmar Seipel (Hrsg.): Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Technical Report PMS-FB-1997-10 of the Ludwig Maximilians Univeristät München
Online Proceedings

Constraint Logic Programming I

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

Applications

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

Semantics of Logic Programming

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

Theory

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

Constraint Logic Programming II

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

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-
Dietmar Seipel: DisLog - A Disjunctive Deductive Database Prototype (system description). 0-
Ulrich Zukowski, Burkhard Freitag: An Overview of the LOLA System (system description). 0-

Paradigms in LP-Systems

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

Theorem Provers

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

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-

Reasoning Systems

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

Copyright © Mon Nov 2 21:21:37 2009 by Michael Ley (ley@uni-trier.de)