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

• 1995
• 
  Hassan Aït-Kaci:
  Déjá Vu - Or Whatever Are We Doing Here?... (Panel Abstract). ILPS 1995: 621-624
• 
  James H. Andrews:
  A Paralogical Semantics for the Prolog Cut. ILPS 1995: 591-605
• 
  Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
  Efficient Analysis of Logic Programs with Dynamic Scheduling. ILPS 1995: 417-431
• 
  Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone:
  Semantical Properties of Encodings in Logic Programming. ILPS 1995: 288-302
• 
  Yves Bekkers, Paul Tarau:
  Monadic Constructs for Logic Programming. ILPS 1995: 51-65
• 
  Peter A. Bigot, Saumya K. Debray:
  A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages. ILPS 1995: 257-271
• 
  Frank S. de Boer, Maurizio Gabbrielli:
  Modelling Real-Time in Concurrent Constraint Programming. ILPS 1995: 528-542
• 
  Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský:
  Synchronisation in Scc. ILPS 1995: 641
• 
  Christoph Brzoska:
  Temporal Logic Programming in Dense Time. ILPS 1995: 303-317
• 
  Björn Carlson, Mats Carlsson, Sverker Janson:
  The implementation of AKL(FD). ILPS 1995: 227-241
• 
  Marco Comini, Giorgio Levi, Maria Chiara Meo:
  Compositionality in SLD-Derivations and their Abstractions. ILPS 1995: 561-575
• 
  Marco Comini, Giorgio Levi, Giuliana Vitiello:
  Declarative Diagnosis Revisited. ILPS 1995: 275-287
• 
  Thomas C. Conway, Fergus Henderson, Zoltan Somogyi:
  Code Generation for Mercury. ILPS 1995: 242-256
• 
  Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift:
  Optimizing Clause Resolution: Beyond Unification Factoring. ILPS 1995: 194-208
• 
  Giorgio Delzanno, Maurizio Martelli:
  Objects in Forum. ILPS 1995: 115-129
• 
  Nachum Dershowitz:
  Goal Solving as Operational Semantics. ILPS 1995: 3-17
• 
  Didier Bert, Rachid Echahed:
  Abstraction of Conditional Term Rewriting Systems. ILPS 1995: 162-176
• 
  Yannis Dimopoulos, Antonis C. Kakas:
  Logic Programming without Negation as Failure. ILPS 1995: 369-383
• 
  Gérard Ferrand, Arnaud Lallouet:
  A Compositional Proof Method of Partial Correctness for Normal Logic Programs. ILPS 1995: 209-223
• 
  John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam:
  Practical Model-Based Static Analysis for Definite Logic Programs. ILPS 1995: 351-365
• 
  Roberto Giacobazzi, Francesco Ranzato:
  Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. ILPS 1995: 321-335
• 
  Kannan Govindarajan, Bharat Jayaraman, Surya Mantha:
  Relaxation in Constraint Logic Languages. ILPS 1995: 637
• 
  Corin A. Gurr:
  Declarative Annotations for Logic Programs. ILPS 1995: 639
• 
  Michael Hanus:
  Functional Logic Languages: Combine Search and Efficient Evaluation (Panel Abstract). ILPS 1995: 625-626
• 
  James Harland, David J. Pym, Michael Winikoff:
  Programming in Lygon: A Brief Overview. ILPS 1995: 636
• 
  Alain Hui-Bon-Hoa:
  Clause-based proofs for hereditary Harrop formulas. ILPS 1995: 179-193
• 
  Joxan Jaffar, Michael J. Maher, Gustaf Neumann:
  Logic Programming and Object Modelling: A Case Study (Abstract). ILPS 1995: 48
• 
  Hasan M. Jamil, Laks V. S. Lakshmanan:
  A Declarative Semantics for Behavioral Inheritance and Conflict Resolution. ILPS 1995: 130-144
• 
  Gerda Janssens, Maurice Bruynooghe, Veroniek Dumortier:
  A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. ILPS 1995: 336-350
• 
  Herbert Kuchen:
  Implementation Issues for Functional Logic Programming (Tutorial Abstract). ILPS 1995: 612-613

skipping 29 more matches