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

• 1992
• 
  Andrei Voronkov:
  Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings. Lecture Notes in Computer Science 592, Springer 1992, ISBN 3-540-55460-2 [contents]
• 1991
• 
  Yves Bekkers, Lucien Ungaro:
  Real-Time Memory Management for Prolog. RCLP 1991: 1-12
• 
  Mounira Belmesk:
  A Process Semantics of Logic Programs. RCLP 1991: 13-26
• 
  A. G. Bondarenko:
  Abductive Systems for Non-Monotonic Reasoning. RCLP 1991: 55-65
• 
  Egon Börger, Elvinia Riccobene:
  Logical Operational Semantics of Parlog. Part II: Or-Parallelism. RCLP 1991: 27-34
• 
  Egon Börger, Dean Rosenzweig:
  WAM Algebras - A Mathematical Study of Implementation, Part 2. RCLP 1991: 35-54
• 
  Vladimir B. Borshchev:
  Properties of Algorithmic Operators. RCLP 1991: 66-78
• 
  Dmitri Yu. Boulanger:
  Deep Logic Program Transformation Using Abstract Interpretation. RCLP 1991: 79-101
• 
  Antonio Brogi, Evelina Lamma, Paola Mello:
  Objects in a Logic Programming Framework. RCLP 1991: 102-113
• 
  François Bry, Rainer Manthey, Bern Martens:
  Integrity Verification in Knowledge Bases. RCLP 1991: 114-139
• 
  Stefania Costantini, Gaetano Aurelio Lanzarone:
  On Procedural Semantics of Metalevel Negation. RCLP 1991: 140-151
• 
  Evgeny Dantsin:
  Probabilistic Logic Programs and their Semantics. RCLP 1991: 152-164
• 
  Bart Demoen, André Mariën:
  Implementation of Prolog as Binary Definite Programs. RCLP 1991: 165-176
• 
  Alexander Ja. Dikovsky:
  Prolog Semantics for Measuring Space Consumption. RCLP 1991: 177-192
• 
  Wai-Keong Foong:
  Or-Parallel Prolog with Heuristic Task Distribution. RCLP 1991: 193-200
• 
  Hans-Günther Hein, Manfred Meyer:
  A WAM Compilation Scheme. RCLP 1991: 201-214
• 
  Martin C. Henson:
  Safe Positive Induction in the Programming Logic TK. RCLP 1991: 215-231
• 
  Wiebe van der Hoek:
  Some Considerations on the Logic PfD. RCLP 1991: 474-485
• 
  S. Ivanets, N. Ilinsky, M. Krylov:
  WAM Specification for Parallel Execution on SIMD Computer. RCLP 1991: 232-239
• 
  Gerda Janssens, Maurice Bruynooghe:
  On Abstracting the Procedural Behaviour of Logic Programs. RCLP 1991: 240-262
• 
  Norbert Kehrer, Gustaf Neumann:
  Treating Enhanced Entity Relationship Models in a Declarative Style. RCLP 1991: 263-270
• 
  Evgeny L. Kitaev:
  Processing of Ground Regular Terms in PROLOG. RCLP 1991: 271-285
• 
  Andrei Mantsivoda, Vyacheslav Petukhin:
  Compiling Flang. RCLP 1991: 286-293
• 
  Manfred Meyer, Hans-Günther Hein, Jörg P. Müller:
  FIDO: Finite Domain Consistency Techniques in Logic Programming. RCLP 1991: 294-301
• 
  Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi:
  A Constructive Logic Approach to Database Theory. RCLP 1991: 302-321
• 
  Dale Miller:
  Abstract Syntax and Logic Programming. RCLP 1991: 322-337
• 
  Vladimir S. Neiman:
  Deduction with Generalized Terms. RCLP 1991: 338-348
• 
  Gustaf Neumann:
  A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation. RCLP 1991: 349-360
• 
  Michel Parigot:
  Free Deduction: An Analysis of "Computations" in Classical Logic. RCLP 1991: 361-380
• 
  Aida Pliuskeviciene:
  Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula. RCLP 1991: 381-390

skipping 8 more matches