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

• 1993
• 
  Farokh B. Bastani, Ing-Ray Chen:
  Assessment of the Reliability of AI Programs. Int. J. Artif. Intell. Tools 2(2): 235-248 (1993)
• 
  M'hamed Bouziane, Cheng Hsu:
  A Rulebase Model for Data and Knowledge Integration in Multiple Systems Environments. Int. J. Artif. Intell. Tools 2(4): 485-510 (1993)
• 
  Horng-Yuan Chen, Jeffrey J. P. Tsai, Yao-Dong Bi:
  An Event-Based Real-Time Logic for the Specification and Analysis of Real-Time Systems. Int. J. Artif. Intell. Tools 2(1): 71-92 (1993)
• 
  Diane J. Cook, Gary Lyons:
  Massively Parallel IDA* Search. Int. J. Artif. Intell. Tools 2(2): 163-180 (1993)
• 
  Forouzan Golshani, Michael N. Kozicki, Purag Rastogi:
  A Real-Time Expert System for Process Management - the Design and Development of Expro. Int. J. Artif. Intell. Tools 2(4): 541-556 (1993)
• 
  Nicolas Graner, Sunil Sharma, Derek H. Sleeman, Michalis Rissakis, Susan Craw, Chris Moore:
  The Machine Learning Toolbox Consultant. Int. J. Artif. Intell. Tools 2(3): 307-328 (1993)
• 
  Babak Hamidzadeh, Shashi Shekhar:
  Dynoraii: a Real-Time Planning Algorithm. Int. J. Artif. Intell. Tools 2(1): 93-116 (1993)
• 
  Frederick Hayes-Roth:
  The Evolution of Commercial AI Tools: the First Decade. Int. J. Artif. Intell. Tools 2(1): 1-14 (1993)
• 
  Antonius J. Hendriks, Damian M. Lyons:
  A Methodology for Creating and Adapting Reactive Systems. Int. J. Artif. Intell. Tools 2(2): 249-276 (1993)
• 
  Peggy Israel, Cris Koutsougeras:
  A Hybrid Electro-Optical Architecture for Classification Trees and Associative Memory Mechanisms. Int. J. Artif. Intell. Tools 2(3): 373-394 (1993)
• 
  Emmanuel Kounalis, Michaël Rusinowitch:
  A Logical Framework for Concept Learning with Background Knowledge. Int. J. Artif. Intell. Tools 2(3): 329-348 (1993)
• 
  Pierre Marquis:
  Skeptical Abduction. Int. J. Artif. Intell. Tools 2(4): 511-540 (1993)
• 
  Daniel P. Miranker, Frederic H. Burke, Jeri J. Steele, John Kolts, David R. Haug:
  The C₊₊ Embeddable Rule System. Int. J. Artif. Intell. Tools 2(1): 33-46 (1993)
• 
  Mark W. Perlin:
  Factored Arc Consistency for Rete Match. Int. J. Artif. Intell. Tools 2(2): 277-306 (1993)
• 
  C. V. Ramamoorthy, Daniel E. Cooke, Chitta Baral:
  Maintaining the Truth of Specifications in Evolutionary Software. Int. J. Artif. Intell. Tools 2(1): 15-32 (1993)
• 
  Robert G. Reynolds, Jonathan I. Maletic:
  The Use of Version Space Controlled Genetic Algorithms to Solve the Boole Problem. Int. J. Artif. Intell. Tools 2(2): 219-234 (1993)
• 
  Soheil Shams, Jean-Luc Gaudiot:
  Parallel Implementations of Neural Networks. Int. J. Artif. Intell. Tools 2(4): 557- (1993)
• 
  Shashi Shekhar, Babak Hamidzadeh:
  Evaluation of Real-Time Problem Solvers in Dynamic Environments. Int. J. Artif. Intell. Tools 2(4): 459-484 (1993)
• 
  Jaideep Srivastava, Jau-Hwang Wang, Kuo-Wei Hwang, Wei-Tek Tsai:
  A Transaction Model for Parallel Rule Execution Part I: Model and Algorithms. Int. J. Artif. Intell. Tools 2(3): 395-430 (1993)
• 
  Wei-Tek Tsai, Imran A. Zualkernan, Shekhar H. Kirani:
  Pragmatic Testing Methods for Expert Systems. Int. J. Artif. Intell. Tools 2(2): 181-218 (1993)
• 
  Sharon M. Tuttle, Christoph F. Eick:
  Historical Rete Networks to Support the Debugging of Forward-Chaining Rule-Based Programs. Int. J. Artif. Intell. Tools 2(1): 47-70 (1993)
• 
  Stamatis Vassiliadis, Gerald G. Pechanek, José G. Delgado-Frias:
  Spin: the Sequential Pipelined Neuroemulator. Int. J. Artif. Intell. Tools 2(1): 117-132 (1993)
• 
  Jau-Hwang Wang, Jaideep Srivastava, Wei-Tek Tsai:
  A Transaction Model for Parallel Production Systems Part II: Model and Evaluation. Int. J. Artif. Intell. Tools 2(3): 431-458 (1993)
• 
  Peter Wohl:
  Efficiency through Reduced Communication in Message Passing Simulation of Neural Networks. Int. J. Artif. Intell. Tools 2(1): 133-162 (1993)
• 
  Suk I. Yoo, Chang H. Park:
  An Inference Browser for Verifying the Knowledge Base in Knowledge-Based Systems. Int. J. Artif. Intell. Tools 2(3): 349-372 (1993)