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

• 1987
• 
  Philippe Jorrand, Vassil Stoyanov Sgurev:
  Artificial Intelligence II: Methodology, Systems, Applications - Proceedings of the Second International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1986, Varna, Bulgaria, September 16-19, 1986. North-Holland 1987, ISBN 0-444-70205-9 [contents]
• 1986
• 
  Giovanni Adorni, Lina Massone:
  Coding Patterns. AIMSA 1986: 395-402
• 
  Vincenzo Ambriola, Giuliano Pacini, Franco Turini:
  The Sharing of Partial Results in Nondeterministic Computations. AIMSA 1986: 93-103
• 
  Elisabeth André, Guido Bosch, Gerd Herzog, Thomas Rist:
  Coping with the Intrinsic and Deictic Uses of Spatial Prepositions. AIMSA 1986: 375-382
• 
  Krastu St. Arabadjisky:
  Data Flow Computation Model and Analysis of its Asynchrony. AIMSA 1986: 155-162
• 
  Claudio Arbib, Gianna Cioni:
  Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style. AIMSA 1986: 55-61
• 
  Mihai Barbuceanu, Stefan Trausan-Matu:
  XRL: An Evolutionary Multi-Paradigm Environment for AI Programming. AIMSA 1986: 197-205
• 
  Roberto Barbuti, C. D'Ascanio, Franco Turini:
  Cooperating Logic Theories. AIMSA 1986: 165-172
• 
  Stefan Bayerl, M. Breu, S. Heilmeier, K. Lichtenwalder:
  An Implemented Simulation of a Parallel Theorem Prover. AIMSA 1986: 21-28
• 
  Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann:
  An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. AIMSA 1986: 29-36
• 
  Pier Giorgio Bosco, Elio Giovannetti:
  A Prolog-Compiled Higher-Order Functional and Logic Language. AIMSA 1986: 105-116
• 
  Maurice Bruynooghe:
  Is Logic Programming "Real" Programming? AIMSA 1986: 81-91
• 
  Vlad G. Dabija, Tatiana Dabija:
  A Parameterized Learning Environment for Implementing Expert Systems. AIMSA 1986: 301-308
• 
  Miroslaw Dabrowski, Maciej Michalewicz:
  Statistical and Expert Approach to Computer Data Analysis. AIMSA 1986: 215-218
• 
  Dimiter S. Dimitrov, Valentin Tomov, George I. Sharkov, M. Angelova:
  Liposome Production and Protoplast Electrofusion Expert Systems. AIMSA 1986: 219-226
• 
  Ilia Iv. Dimitrov, V. I. Velkov, S. N. Icherenski:
  Expert Systems for Mechanical Parts Design. AIMSA 1986: 227-234
• 
  Nur Erol, Christian Freksa:
  An Approach to Structuring and Formalizing Knowledge for a Design Support System. AIMSA 1986: 271-279
• 
  George Gargov, Slavian Radev:
  Expert Logics. AIMSA 1986: 181-188
• 
  Marie-Claude Gaudel:
  Logic Programming and Automatization of Software Test Strategies. AIMSA 1986: 39-45
• 
  Ioan Gergescu:
  An Inference Processor Based on Reactive Memory. AIMSA 1986: 141-148
• 
  Elio Giovannetti, Corrado Moiso:
  Some Aspects of the Integration between Logic Programming and Fiunctional Programming. AIMSA 1986: 69-79
• 
  Eva Hajicová:
  Focussing- A Meeting Point Linguistics and Artificial Intelligence. AIMSA 1986: 311-321
• 
  Vladimir F. Khoroshevsky:
  Computer Aided Design of Expert Systems- An Instrumental Approach. AIMSA 1986: 207-213
• 
  Vesselin I. Kirov:
  Conceptual Modelling Based Knowledge Representation Language. AIMSA 1986: 261-270
• 
  Irina Kononenko:
  The Cognitive Context of Language Interaction. AIMSA 1986: 323-327
• 
  Werner Konrad:
  BERGSON - toward a Knowledge Modelling Tool. AIMSA 1986: 289-300
• 
  Heinz Marburger:
  A Strategy for Producing Cooperative nl Reactions in a Database Interface. AIMSA 1986: 357-365
• 
  Massimo Marino, Antonella Spiezio, Giacomo Ferrari, Irina Prodanof:
  SAIL: A Natural Language Interface for the Building of and the Interacting with Knowledge Bases. AIMSA 1986: 349-356
• 
  Zdravko Markov, Danail Dochev, Christo Dichev, Genadi Agre:
  An Approach to Compiling PROLOG Programs. AIMSA 1986: 47-53
• 
  Alexander S. Narin'yani:
  Parallelism vs Knowledge Processing. AIMSA 1986: 133-139

skipping 17 more matches