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

• 1991
• 
  Martin Aronsson, Lars-Henrik Eriksson:
  The GCLA II Programming Language. PDK 1991: 399-401
• 
  Alessandro Artale, Francesca Cesarini, Giovanni Soda:
  Subsumption Computation on an Object-Oriented Data Model. PDK 1991: 124-140
• 
  Franz Baader, Bernhard Hollunder:
  A Terminological Knowledge Representation System with Complete Inference Algorithms. PDK 1991: 67-86
• 
  Rolf Backofen, Lutz Euler, Günther Görz:
  Distributed Disjunctions for LIFE. PDK 1991: 161-170
• 
  Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques:
  TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. PDK 1991: 366-382
• 
  Christoph Beierle, Gregor Meyer, Heiner Semle:
  A Brief Description of the PROTOS-L System. PDK 1991: 402-404
• 
  Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov:
  Declarative and Procedural Paradigms - Do they Really Compete? (Panel). PDK 1991: 383-398
• 
  Pierre E. Bonzon:
  Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic Machine. PDK 1991: 271-278
• 
  Egon Börger, Elvinia Riccobene:
  Logical Operational Semantics of Parlog, Part I: And-Parallelism. PDK 1991: 191-198
• 
  Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens:
  Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. PDK 1991: 309-317
• 
  Yves Caseau:
  Rule-Aided Constraint Resolution in LAURE. PDK 1991: 237-256
• 
  Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick:
  Data-driven Transformation of Meta-interpreters: A Sketch. PDK 1991: 301-308
• 
  Michel Dorochevsky, Jacques Noyé, Oliver Thibault:
  Has Dedicated Hardware for Prolog a Future? PDK 1991: 17-31
• 
  Gerard Ellis:
  Compiling Conceptual Graphs. PDK 1991: 41-55
• 
  Stefan Fricke, Manfred Hein:
  PCPL - PROLOG Constraint Processing Library Version 2.0. PDK 1991: 405-407
• 
  Nicola Guarino:
  A Concise Presentation of ITL. PDK 1991: 141-160
• 
  Nicola Guarino:
  A Mini-Description of the ITL System. PDK 1991: 408-410
• 
  Philipp Hanschke, Andreas Abecker, Dennis Drollinger:
  TAXON: A Concept Language with Concrete Domains. PDK 1991: 411-413
• 
  Michael Hanus:
  Efficient Implementation of Narrowing and Rewriting. PDK 1991: 344-365
• 
  Michael Hanus:
  The ALF System: An Efficient Implementation of a Functional Logic Language. PDK 1991: 414-416
• 
  Knut Hinkelmann, Martin Harm, Thomas Labisch:
  Transforming Horn Clauses for Forward Reasoning. PDK 1991: 417-419
• 
  Herbert Jaeger:
  An Introduction to Dynamic Concept Systems. PDK 1991: 87-106
• 
  Henry A. Kautz, Bart Selman:
  A General Framework for Knowledge Compilation. PDK 1991: 287-300
• 
  Andy King, Paul Soper:
  Reducing Scheduling Overheads for Concurrent Logic Programs. PDK 1991: 279-286
• 
  Valentinas Kriauciukas:
  Nonclassical Models for Logic Programs. PDK 1991: 179-190
• 
  Evelina Lamma, Paola Mello:
  Processing Abductive Reasoning via Contextual Logic Programming. PDK 1991: 336-343
• 
  Maurizio Lenzerini, Andrea Schaerf:
  Querying Concept-based Knowledge Bases. PDK 1991: 107-123
• 
  Andrei Mantsivoda:
  Flang: A Functional-Logic Language. PDK 1991: 257-270
• 
  Andrei Mantsivoda, Vyacheslav Petukhin:
  Implementation of the Functional-Logic Language Flang. PDK 1991: 420-421
• 
  Zdravko Markov:
  A Tool for Building Connectionist-like Networks Based on Term Unification. PDK 1991: 199-213

skipping 10 more matches