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

• 1994
• 
  Tatsuya Akutsu, Atsuhiro Takasu:
  On PAC Learnability of Functional Depencies. New Gener. Comput. 12(4): 359-374 (1994)
• 
  Surapong Auwatanamongkol, Andrzej Ciepielewski, Prasenjit Biswas:
  Cut and Side-Effects in a Data-Driven Implementation of Prolog. New Gener. Comput. 12(3): 223-250 (1994)
• 
  José L. Balcázar, Josep Díaz, Ricard Gavaldà, Osamu Watanabe:
  The Query Complexity of Learning DFA. New Gener. Comput. 12(4): 337-358 (1994)
• 
  Jonas Barklund:
  Bounded Quantifications for Iteration and Concurrency in Logic Programming. New Gener. Comput. 12(2): 161-182 (1994)
• 
  Marc Bezem, Jan Keuzenkamp:
  Undecidable Goals for Completed Acyclic Programs. New Gener. Comput. 12(2): 209-213 (1994)
• 
  Paolo Ciancarini:
  Distributed Programming with Logic Tuple Spaces. New Gener. Comput. 12(3): 251-284 (1994)
• 
  Koichi Furukawa, Takeshi Shinohara, Yuji Takada:
  Special Issue on Algorithmic Learning Theory. New Gener. Comput. 12(4): 319-320 (1994)
• 
  Hugo de Garis:
  An Artificial Brain: ATR's CAM-Brain Project Aims to Build/Evolve an Artificial Brain with a Million Neural Net Modules Inside a Trillion Cell Cellular Automata Machine. New Gener. Comput. 12(2): 215-221 (1994)
• 
  Kôiti Hasida:
  Dynamics of Symbos Systems. New Gener. Comput. 12(3): 285-310 (1994)
• 
  Takio Kurita:
  Iterative Weighted Least Squares Algorithms for Neural Networks Classifiers. New Gener. Comput. 12(4): 375-394 (1994)
• 
  Alexandre Lefebvre:
  Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases. New Gener. Comput. 12(2): 131-160 (1994)
• 
  Koichi Niijima:
  Domains of Attraction in Autoassociative Memory Networks. New Gener. Comput. 12(4): 395-407 (1994)
• 
  Yoshiaki Okubo, Makoto Haraguchi:
  Planning with Abstraction Based on Partial Predicate Mappings. New Gener. Comput. 12(4): 409-437 (1994)
• 
  Hiroshi Suematsu:
  Current Status of the EDR Electronic Dictionary Project and Its Evaluation Research. New Gener. Comput. 12(3): 311-316 (1994)
• 
  Amir Tomer:
  Implementing Specifications by Dynamic Inheritance. New Gener. Comput. 12(2): 183-208 (1994)
• 
  Rolf Wiehagen:
  From Inductive Inference to Algorithmic Learning Theory (Invented). New Gener. Comput. 12(4): 321-335 (1994)
• 1993
• 
  J. W. de Bakker, Erik P. de Vink:
  Rendez-Vous with Metric Semantics. New Gener. Comput. 12(1): 53-90 (1993)
• 
  Takashi Chikayama:
  KLIC: A KL1 Implementation for Unix Systems. New Gener. Comput. 12(1): 123-124 (1993)
• 
  Nicola Leone, Giuseppe Rossi:
  Well-Founded Semantics and Stratification for Ordered Logic Programs. New Gener. Comput. 12(1): 91-121 (1993)
• 
  Setsuo Ohsuga:
  Knowledge Science. New Gener. Comput. 12(1): 1-5 (1993)
• 
  Dan Sahlin:
  Mixtus: An Automatic Partial Avaluator for Full Prolog. New Gener. Comput. 12(1): 7-51 (1993)