• 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

• 1992
• 
  Fabio Baj, Michael Rosner:
  Automatic Theorem Proving within the Portable AI Lab. Logic Programming Summer School 1992: 313-324
• 
  Christoph Beierle:
  Knowledge Based PPS Applications in PROTOS-L. Logic Programming Summer School 1992: 80-90
• 
  Peter T. Breuer:
  The Art of Computer Un-Programming: Reverse Engineering in Prolog. Logic Programming Summer School 1992: 290-302
• 
  Alan Bundy:
  Tutorial Notes: Reasoning about Logic Programs. Logic Programming Summer School 1992: 252-277
• 
  Carlo Chiopris:
  The SECReTS Banking Expert System from Phase 1 to Phase 2. Logic Programming Summer School 1992: 91-99
• 
  Deborah A. Dahl:
  PUNIT - Natural Language Interfaces. Logic Programming Summer School 1992: 176-185
• 
  Mireille Ducassé:
  Opium - An Advanced Debugging System. Logic Programming Summer School 1992: 303-312
• 
  AbdelAli Ed-Dbali, Pierre Deransart:
  Software Formal Specification by Logic Programming: The Example of Standard Prolog. Logic Programming Summer School 1992: 278-289
• 
  Owen V. Evans:
  Factory Scheduling Using Finite Domains. Logic Programming Summer School 1992: 45-53
• 
  John Fox:
  Logic Engineering and Clinical Dilemmas. Logic Programming Summer School 1992: 100-108
• 
  Edward H. Freeman:
  A Knowledge-based Approach to Strategic Planning. Logic Programming Summer School 1992: 109-117
• 
  Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace:
  Contraint Logic Programming - An Informal Introduction. Logic Programming Summer School 1992: 3-35
• 
  Pierre-Joseph Gailly, Wolfgang Krautter, Christophe Bisière, Sylvie Bescos:
  The Prince Project and its Applications. Logic Programming Summer School 1992: 54-63
• 
  Thomas Grossi, Didier Bronisz, François Jean-Marie:
  The ESTEAM-316 Dialogue Manager. Logic Programming Summer School 1992: 186-202
• 
  Michael Hess:
  Natural and Formal Language Processing. Logic Programming Summer School 1992: 127-175
• 
  Robert A. Kowalski:
  Theory and Practice in Logic Programming. Logic Programming Summer School 1992: 1-2
• 
  Robert A. Kowalski:
  Legislation as Logic Programs. Logic Programming Summer School 1992: 203-230
• 
  Udo Pletat:
  Knowledge Representation for Natural Language Processing. Logic Programming Summer School 1992: 231-241
• 
  Lutz Plümer:
  Expert Systems in Mining. Logic Programming Summer School 1992: 118-126
• 
  Peter B. Reintjes:
  A Set of Tools for VHDL Design. Logic Programming Summer School 1992: 242-251
• 
  Shalom Tsur:
  A (Gentle) Introduction to Deductive Databases. Logic Programming Summer School 1992: 64-79
• 
  Michel d'Andrea:
  Scheduling and Optimisation in the Automobile Industry. Logic Programming Summer School 1992: 36-44
• 
  Gérard Comyn, Norbert E. Fuchs, Michael Ratcliffe:
  Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings. Lecture Notes in Computer Science 636, Springer 1992, ISBN 3-540-55930-2 [contents]