• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 23 matches

• 1997
• 
  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
• 
  Dmitri Boulanger:
  Analyzing Declarative Semantics of Logic Programs. WLP 1997
• 
  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
• 
  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
• 
  Uwe Egly, Hans Tompits:
  A Sequent Calculus for Intuitionistic Default Logic. WLP 1997
• 
  Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter:
  Attempto - Englisch als (formale) Spezifikationssprache (system description). WLP 1997
• 
  Hans-Joachim Goltz:
  Redundante Constraints und Heuristiken zum effizienten Lösen von Problemen der Ablaufplanung mit CHIP. WLP 1997
• 
  Michael Hanus:
  Curry: A Multi-Paradigm Declarative Language (system description). WLP 1997
• 
  Ortrun Ibens:
  The SETHEO System (system description). WLP 1997
• 
  Paul-Thomas Kandzia, Christian Schlepphorst:
  FLORID - A Prototype for F-Logic (system description). WLP 1997
• 
  Mathias Kettner, Norbert Eisinger:
  Der Tableau-Browser SNARKS (system description). WLP 1997
• 
  Michael Leuschel:
  Extending Homeomorphic Embedding in the Context of Logic Programming. WLP 1997
• 
  Michael Leuschel, Danny De Schreye:
  Constrained Partial Deduction. WLP 1997
• 
  Tobias Müller, Martin Müller:
  Finite Set Intervals in Oz. WLP 1997: 17-19
• 
  Iris Pigeot, Ursula Robers:
  The Use of Inductive Logic Programming for the Developement of the Statistical Software Tool CORA (system description). 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
• 
  Manfred Schramm, Volker Fischer:
  Probabilistic Reasoning with Maximum Entropy - The System PIT (system description). WLP 1997
• 
  Dietmar Seipel:
  DisLog - A Disjunctive Deductive Database Prototype (system description). WLP 1997
• 
  Gerhard Wetzel:
  A Unifying Framework for Abductive and Constraint Logic Programming. WLP 1997
• 
  Armin Wolf:
  Adaptiv-inkrementelle Unifikation. WLP 1997
• 
  Ulrich Zukowski, Burkhard Freitag:
  An Overview of the LOLA System (system description). WLP 1997
• 
  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 [contents]