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

• 1997
• 
  Farid Ajili, Claude Kirchner:
  A Modular Framework for the Combination of Unification and Built-In Constraints. ICLP 1997: 331-345
• 
  Sergio Antoy, Rachid Echahed, Michael Hanus:
  Parallel Evaluation Strategies for Functional Logic Languages. ICLP 1997: 138-152
• 
  Peter Baumgartner, Ulrich Furbach:
  Calculi for Disjunctive Logic Programming. ICLP 1997: 409
• 
  Kristof Van Belleghem, Marc Denecker, Danny De Schreye:
  A Strong Correspondence between Description Logics and Open Logic Programming. ICLP 1997: 346-360
• 
  Maurice Bruynooghe, Gerda Janssens, Andreas Kågedal:
  Live-Structure Analysis for Logic Programming Languages with Declarations. ICLP 1997: 33-47
• 
  Francisco Bueno, Michael Codish, Vitaly Lagoon:
  Sharing Analysis Using Set Logic Programs. ICLP 1997: 417
• 
  Yves Caseau, François Laburthe:
  Solving Small TSPs with Constraints. ICLP 1997: 316-330
• 
  Iliano Cervesato, Massimo Franceschet, Angelo Montanari:
  The Complexity of Model Checking in Modal Event Calculi. ICLP 1997: 419
• 
  Michael Codish:
  Efficient Goal Directed Bottom-up Evaluation of Logic Programs. ICLP 1997: 422
• 
  Michael Codish, Bart Demoen, Konstantinos Sagonas:
  XSB as the Natural Habitat for General Purpose Program Analysis. ICLP 1997: 416
• 
  Verónica Dahl, Paul Tarau, Renwei Li:
  Assumption Grammars for Processing Natural Language. ICLP 1997: 256-270
• 
  Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo:
  Non-Failure Analysis for Logic Programs. ICLP 1997: 48-62
• 
  Stefaan Decorte, Danny De Schreye:
  Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. ICLP 1997: 78-92
• 
  Michael I. Dekhtyar, Alexander Ja. Dikovsky:
  Total Homeostaticity and Integrity Constraints Restorability Recognition. ICLP 1997: 241-255
• 
  Alex Dekhtyar, V. S. Subrahmanian:
  Hybrid Probabilistic Programs. ICLP 1997: 391-405
• 
  Juliana Freire, Terrance Swift, David Scott Warren:
  Taking I/O Seriously: Resolution Reconsidered for Disk. ICLP 1997: 198-212
• 
  Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo:
  A Higher Order Rewriting Logic for Functional Logic Programming. ICLP 1997: 153-167
• 
  Zhiyi Huang, Chengzheng Sun, Abdul Sattar:
  Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. ICLP 1997: 410
• 
  Andreas Kågedal, Saumya K. Debray:
  A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages. ICLP 1997: 18-32
• 
  Evelina Lamma, Michela Milano, Paola Mello:
  Reasoning on Constraints in Constraint Logic Programming. ICLP 1997: 413
• 
  Naomi Lindenstrauss, Yehoshua Sagiv:
  Automatic Termination Analysis of Logic Programs. ICLP 1997: 63-77
• 
  Mengchi Liu:
  Supporting Partial and Complete Sets and Tuples in Deductive Databases. ICLP 1997: 415
• 
  Sameer Mahajan, S. Ramesh:
  Concurrent Logic Programming and pi Calculus. ICLP 1997: 411
• 
  Juan M. Molina-Bravo, Ernesto Pimentel:
  Modularity in Functional-Logic Programming. ICLP 1997: 183-197
• 
  Tobias Müller, Jörg Würtz:
  Connecting Propagators with a Concurrent Constraint Language. ICLP 1997: 412
• 
  Vyacheslav Petukhin:
  Embedded Implications as a Generalization of Negation as Failure. ICLP 1997: 420
• 
  Enrico Pontelli, Gopal Gupta:
  Implementation Mechanisms for Dependent And-Parallelism. ICLP 1997: 123-137
• 
  Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro:
  Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. ICLP 1997: 108-122
• 
  Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
  Optimization of Logic Programs with Dynamic Scheduling. ICLP 1997: 93-107
• 
  Femke van Raamsdonk:
  Translating Logic Programs into Conditional Rewriting Systems. ICLP 1997: 168-182

skipping 12 more matches