• 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 38 matches

• 1994
• 
  Urs Badertscher, Robert W. Marti, Ulrich Reimer:
  Integrating Terminological and Deductive Reasoning. WLP 1994: 40-43
• 
  Jorge L. V. Barbosa, Otilia Werner, Cláudio F. R. Geyer:
  Automatic Granularity Analysis in Logic Programming. WLP 1994: 77-80
• 
  Peter Barth, Alexander Bockmayr:
  Global Consistency in CLP(PB). WLP 1994: 130-133
• 
  Bernhard Beckert, Joachim Posegga:
  Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means. WLP 1994: 108-111
• 
  Stefan Benzschawel:
  Another Method for Compiling Datalog. WLP 1994: 57-60
• 
  Isabelle Blot, Irène Foucherot, François Jacquenet:
  Incremental Generation of Parsers for Knowledge Manipulation in PROLOG. WLP 1994: 85-88
• 
  Stefan Brass, Jürgen Dix:
  A Characterization of the Stable Semantics by Partial Evaluation. WLP 1994: 81-84
• 
  François Bry:
  Logikprogrammierung ohne Modelltheorie? WLP 1994: 56
• 
  Khaled Bsaïes:
  Discovering "Eureka Steps" in Transforming Logic Programs. WLP 1994: 28-31
• 
  Stefan Decker, Christoph Lingenfelder:
  Überprüfung von Integritätsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung. WLP 1994: 61-64
• 
  Fredrik Eklund, Andreas Kågedal:
  Optimization of GAPLog Programs. WLP 1994: 32-35
• 
  Antonio Mendes da Silva Filho:
  Prototyping Real-Time Systems Using Logic Programming. WLP 1994: 116-119
• 
  Paolo Frigo, Massimo Marchiori:
  Implementing Prolog Programs Free from Unification. WLP 1994: 36-39
• 
  Thom W. Frühwirth:
  Constraint Handling Rules (Extended Abstract). WLP 1994: 120-129
• 
  T. H. Fung:
  A Modified Abductive Framework. WLP 1994: 44-47
• 
  Roman Gross, Robert W. Marti:
  DeCoR a Deductive Constraint Database System. WLP 1994: 65-68
• 
  Steffen Hölldobler, Yvonne Kalinke:
  Ein massiv paralleles Modell für die Logikprogrammierung. WLP 1994: 89-92
• 
  Nobuhiro Inuzuka:
  Learning without Model-theoretic Improvements. WLP 1994: 161-164
• 
  Robert A. Kowalski, Francesca Toni, Gerhard Wetzel:
  Towards a Declarative and Efficient Glass-Box CLP Language. WLP 1994: 138-141
• 
  Andreas Krall:
  Implementation techniques for Prolog. WLP 1994: 1-15
• 
  Nada Lavrac:
  Inductive Logic Programming. WLP 1994: 146-160
• 
  Ashesh Mahidadia, Claude Sammut, Paul Compton:
  Helping Researchers To Construct Scientific Models: A Tool From Inductive Logic Programming. WLP 1994: 165-168
• 
  Gregor Meyer:
  Zur Modellierung in der ordnungssortierten logischen Programmierung. WLP 1994: 93-95
• 
  Michael Nitsche, Ulrich Geske:
  Logische Spezifikation von Steuerkonstrukten imperativer Programmiersprachen. WLP 1994: 100-103
• 
  David Pearce:
  Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. WLP 1994: 52-55
• 
  Lubos Popelínský:
  Towards Program Synthesis From A Samll Example Set. WLP 1994: 169-172
• 
  Philippe Refalo:
  Solving Real Linear Ask Constraints. WLP 1994: 134-137
• 
  Dietmar Seipel:
  A Dual Fixpoint Approach for Deriving the Disjunctive Well-Founded Semantics. WLP 1994: 96-99
• 
  Paul Soper, Muhammad A. Pasha:
  Logic Programming Techniques for Handling Navigational Problems of Hypermedia Systems. WLP 1994: 104-107
• 
  Rainer Staudte, Uwe Erdmenger:
  Hilfsmattaufgaben als arithmetische Constraints. WLP 1994: 112-115

skipping 8 more matches