![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.