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

• 1988
• 
  M. A. Nait Abdallah:
  Heuristic Logic and the Process of Discovery. ICLP/SLP 1988: 859-875
• 
  Harvey Abramson:
  Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming. ICLP/SLP 1988: 233-248
• 
  Khayri A. M. Ali:
  OR-Parallel Execution of Prolog on BC-Machine. ICLP/SLP 1988: 1531-1545
• 
  Leon Alkalaj, Ehud Shapiro:
  An Architectural Model for a Flat Concurrent Prolog Processor. ICLP/SLP 1988: 1277-1297
• 
  Layman E. Allen, Charles S. Saxon:
  Multiple Interpretations of the Logical Structure of Legal Rules: Impediment or Boon to Legal Expert Systems? ICLP/SLP 1988: 1609-1623
• 
  Hiyan Alshawi, Douglas B. Moran:
  The Delphi Model and Some Preliminary Experiments. ICLP/SLP 1988: 1578-1589
• 
  Krzysztof R. Apt, Howard A. Blair:
  Arithmetic Classification of Perfect Models of Stratified Programs. ICLP/SLP 1988: 765-779
• 
  I. Attila, Paul Franchi-Zannettacci:
  Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation. ICLP/SLP 1988: 160-177
• 
  Hamid Bacha:
  Meta Prolog Design and Implementation. ICLP/SLP 1988: 1371-1387
• 
  Jonas Barklund, Nils Hagner, Malik Wafin:
  Condition Graphs. ICLP/SLP 1988: 435-446
• 
  Aïda Batarekh, V. S. Subrahmanian:
  Semantical Equivalences of (Non-Classical) Logic Programs. ICLP/SLP 1988: 960-977
• 
  Prasenjit Biswas, Shyh-Chang Su, David Y. Y. Yun:
  A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs. ICLP/SLP 1988: 1160-1179
• 
  Staffan Bonnier, Jan Maluszynski:
  Towards a Clean Amalgamation of Logic Programs with External Procedures. ICLP/SLP 1988: 311-326
• 
  Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso:
  Exploiting the Full Power of Logic Plus Functional Programming. ICLP/SLP 1988: 3-17
• 
  Mike Brayshaw, Marc Eisenstadt:
  Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM. ICLP/SLP 1988: 532-547
• 
  A. Bruffaerts, E. Henin:
  Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter. ICLP/SLP 1988: 343-358
• 
  Maurice Bruynooghe, Gerda Janssens:
  An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. ICLP/SLP 1988: 669-683
• 
  Alan Bundy:
  A Broader Interpretation of Logic in Logic Programming. ICLP/SLP 1988: 1624-1648
• 
  Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens:
  Scheduling OR-Parallelism: An Argonne Perspective. ICLP/SLP 1988: 1590-1605
• 
  Mats Carlsson, Kenneth J. Danhof, Ross A. Overbeek:
  A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment. ICLP/SLP 1988: 1565-1577
• 
  David Chan:
  Constructive Negation Based on the Completed Database. ICLP/SLP 1988: 111-125
• 
  Weidong Chen, David Scott Warren:
  Objects as Intensions. ICLP/SLP 1988: 404-419
• 
  D. A. Chu, F. G. McCabe:
  SWIFT: A New Symbolic Processor. ICLP/SLP 1988: 1415-1427
• 
  Christian Codognet, Philippe Codognet, Gilberto Filé:
  Yet Another Intelligent Backtracking Method. ICLP/SLP 1988: 447-465
• 
  John S. Conery:
  Logical Objects. ICLP/SLP 1988: 420-434
• 
  Patrizia Coscia, Paola Franceschi, Giorgio Levi, Giuseppe Sardu, Luigia Torre:
  Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. ICLP/SLP 1988: 359-373
• 
  Verónica Dahl:
  Representing Linguistic Knowledge through Logic Programming. ICLP/SLP 1988: 249-262
• 
  Saumya K. Debray:
  Static Analysis of Parallel Logic Programs. ICLP/SLP 1988: 711-732
• 
  Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck:
  Solving a Cutting-Stock Problem in Constraint Logic Programming. ICLP/SLP 1988: 42-58
• 
  Thomas W. G. Docker:
  SAME - A Structured Analysis Tool and its Implementation in Prolog. ICLP/SLP 1988: 82-95

skipping 75 more matches