default search action
12th WLP 1997: München, Germany
- François Bry, Burkhard Freitag, Dietmar Seipel:
Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10. Ludwig Maximilians Universität München 1997
Constraint Logic Programming I
- Hans-Joachim Goltz:
Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP. WLP 1997 - André Schiemann, Ulrich John, Ulrich Geske, Dmitri Boulanger:
Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon. WLP 1997
Applications
- Slim Abdennadher, Hans Schlenker:
INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen. WLP 1997 - Harold Boley:
Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung. WLP 1997
Semantics of Logic Programming
- Dmitri Boulanger:
Analyzing Declarative Semantics of Logic Programs. WLP 1997 - Gerhard Wetzel:
A Unifying Framework for Abductive and Constraint Logic Programming. WLP 1997
Theory
- Uwe Egly, Hans Tompits:
A Sequent Calculus for Intuitionistic Default Logic. WLP 1997 - Armin Wolf:
Adaptiv-inkrementelle Unifikation. WLP 1997 - Michael Leuschel:
Extending Homeomorphic Embedding in the Context of Logic Programming. WLP 1997
Constraint Logic Programming II
- Tobias Müller, Martin Müller:
Finite Set Intervals in Oz. WLP 1997: 17-19 - Michael Leuschel, Danny De Schreye:
Constrained Partial Deduction. WLP 1997
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). WLP 1997 - Dietmar Seipel:
DisLog - A Disjunctive Deductive Database Prototype (system description). WLP 1997 - Ulrich Zukowski, Burkhard Freitag:
An Overview of the LOLA System (system description). WLP 1997
Paradigms in LP-Systems
- Michael Hanus:
Curry: A Multi-Paradigm Declarative Language (system description). WLP 1997 - Paul-Thomas Kandzia, Christian Schlepphorst:
FLORID - A Prototype for F-Logic (system description). WLP 1997
Theorem Provers
- Ortrun Ibens:
The SETHEO System (system description). WLP 1997 - Mathias Kettner, Norbert Eisinger:
Der Tableau-Browser SNARKS (system description). WLP 1997
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). WLP 1997
Reasoning Systems
- Manfred Schramm, Volker Fischer:
Probabilistic Reasoning with Maximum Entropy - The System PIT (system description). WLP 1997 - Iris Pigeot, Ursula Robers:
The Use of Inductive Logic Programming for the Developement of the Statistical Software Tool CORA (system description). WLP 1997 - Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter:
Attempto - Englisch als (formale) Spezifikationssprache (system description). WLP 1997
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: