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

• 1997
• 
  Chandrabose Aravindan, Peter Baumgartner:
  A Rational and Efficient Algorithm for View Deletion in Databases. ILPS 1997: 165-179
• 
  Puri Arenas-Sánchez, Mario Rodríguez-Artalejo:
  A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. ILPS 1997: 53-67
• 
  Chitta Baral, Tran Cao Son:
  Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. ILPS 1997: 387-401
• 
  Peter Baumgartner, Ulrich Furbach:
  Calculi for Disjunctive Logic Programming. ILPS 1997: 229-243
• 
  Anthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalski:
  Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. ILPS 1997: 415-416
• 
  Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori:
  Verification, Model Checking and Abstract Interpretation (Workshop Overview). ILPS 1997: 421-422
• 
  Stéphane Bressan, Cheng Hian Goh, Thomas Lee, Stuart E. Madnick, Michael D. Siegel:
  A Procedure for Mediation of Queries to Sources in Disparate Contexts. ILPS 1997: 213-227
• 
  Edmund M. Clarke:
  Temporal Logic Model Checking (Abstract). ILPS 1997: 3
• 
  Manuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa:
  The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. ILPS 1997: 117-131
• 
  Verónica Dahl:
  Logic Programming for Processing Natural Language (Abstract). ILPS 1997: 41-42
• 
  Jacinto A. Dávila:
  OPENLOG: A Logic Language to Program Reactive and Rational Agents. ILPS 1997: 406
• 
  Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin:
  Lower Bound Cost Estimation for Logic Programs. ILPS 1997: 291-305
• 
  Jürgen Dix, Mauricio Osorio:
  On Well-Behaved Semantics Suitable for Aggregation. ILPS 1997: 405
• 
  Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira:
  Logic Programming and Knowledge Representation (LPKR'97). ILPS 1997: 419-420
• 
  Agostino Dovier, Andrea Formisano, Alberto Policriti:
  On T Logic Programming. ILPS 1997: 323-337
• 
  Joeri Engelfriet, Heinrich Herre:
  Generated Preferred Models and Extensions of Nonmonotonic Systems. ILPS 1997: 85-99
• 
  Juliana Freire, David Scott Warren:
  Controlling the Search in Tabled Evaluations. ILPS 1997: 409
• 
  Michael Gelfond, Alfredo Gabaldon:
  From Functional Specifications to Logic Programms. ILPS 1997: 355-369
• 
  Rob Gerth:
  Model Checking (Abstract). ILPS 1997: 39
• 
  Sergio Greco, Domenico Saccà:
  NP Optimization Problems in Datalog. ILPS 1997: 181-195
• 
  Benjamin N. Grosof:
  Prioritized Conflict Handling for Logic Programs. ILPS 1997: 197-211
• 
  Michael Hanus:
  Multi-Paradigm Declarative Programming (Abstract). ILPS 1997: 43-45
• 
  Manuel V. Hermenegildo:
  Programming with Global Analysis (Abstract). ILPS 1997: 49-50
• 
  Narendra Jussien, Patrice Boizumault:
  Best-First Search for Property Maintenance in Reactive Constraint Systems. ILPS 1997: 339-353
• 
  Michael Kifer:
  Transaction Logic: An Introduction (Abstract). ILPS 1997: 47-48
• 
  Andy King, Kish Shen, Florence Benoy:
  Lower-bound Time-complexity Analysis of Logic Programs. ILPS 1997: 261-275
• 
  Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo:
  Constraint Logic Programming with Hereditary Harrop Formulas. ILPS 1997: 307-321
• 
  Michael Leuschel:
  Specialization of Declarative Programs and Its Applications (Workshop Overview). ILPS 1997: 413-414
• 
  Heikki Mannila:
  Inductive Databases and Condensed Representations for Data Mining. ILPS 1997: 21-30
• 
  Johan Montelius, Peter S. Magnusson:
  Using SimICS to Evaluate the Penny System. ILPS 1997: 133-147

skipping 739 more matches