• 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

• 1994
• 
  Roy Dyckhoff:
  Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings. Lecture Notes in Computer Science 798, Springer 1994, ISBN 3-540-58025-5 [contents]
• 1993
• 
  Salvador Abreu, Luís Moniz Pereira:
  Design for AKL with Intelligent Pruning. ELP 1993: 3-10
• 
  José Júlio Alferes, Luís Moniz Pereira:
  Contradiction: When Avoidance Equals Removal - Part I. ELP 1993: 11-23
• 
  José Júlio Alferes, Luís Moniz Pereira:
  Contradiction: When Avoidance Equals Removal - Part II. ELP 1993: 268-281
• 
  Beatrice Amrhein:
  Birkhoff's HSP-Theorem for Cumulative Logic Programs. ELP 1993: 24-36
• 
  Harold Boley:
  Finite Domains and Exclusions as First-Class Citizens. ELP 1993: 37-61
• 
  Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli:
  Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. ELP 1993: 62-76
• 
  Agostino Dovier:
  A Language with Finite Sets Embedded in the CLP-scheme. ELP 1993: 77-93
• 
  Roy Dyckhoff:
  Introduction to ELP'93. ELP 1993: 1-2
• 
  Lars-Henrik Eriksson:
  Finitary Partial Inductive Definitions as a General Logic. ELP 1993: 94-119
• 
  Göran Falkman, Olof Torgersson:
  Programming Methodologies in GCLA. ELP 1993: 120-151
• 
  Knut Hinkelmann, Helge Hintze:
  Computing Cost Estimates for Proof Strategies. ELP 1993: 152-170
• 
  Joshua S. Hodas:
  Logic Programming with Multiple Context Management Schemes. ELP 1993: 171-182
• 
  Seppo Keronen:
  Non-Procedural Logic Programming. ELP 1993: 183-195
• 
  Per Kreuger:
  Axioms in Definitional Calculi. ELP 1993: 196-205
• 
  Dale Miller:
  A Proposal for Modules in Lambda-Prolog. ELP 1993: 206-221
• 
  Alberto Momigliano, Mario Ornaghi:
  Regular Search Spaces as a Foundation of Logic Programming. ELP 1993: 222-254
• 
  David Pearce:
  Answer Sets and Nonmonotonic S4. ELP 1993: 255-267
• 
  Luís Pinto:
  Cut Formulae and Logic Programming. ELP 1993: 282-300
• 
  Uday S. Reddy:
  Higher-order Aspects of Logic Programming. ELP 1993: 301-321
• 
  Cristina Ribeiro, António Porto:
  Representation and Inference with Consistent Temporal Propositions. ELP 1993: 322-332
• 
  Peter Schroeder-Heister:
  Definitional Reflection and the Completion. ELP 1993: 333-347
• 
  Jirí Zlatuska:
  Linear Logic Semantics for Concurrent Prolog. ELP 1993: 348-360