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

• 2001
• 
  Hideo Bannai, Yoshinori Tamada, Osamu Maruyama, Satoru Miyano:
  HypothesisCreator: Concepts for Accelerating the Computational Knowledge Discovery Process. Electron. Trans. Artif. Intell. 5(B): 73-83 (2001)
• 
  Christopher H. Bryant, Stephen H. Muggleton, Stephen G. Oliver, Douglas B. Kell, Philip G. K. Reiser, Ross D. King:
  Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of Genes. Electron. Trans. Artif. Intell. 5(B): 1-36 (2001)
• 
  Jacques Cohen:
  Approaches for Simulating and Modeling Cell Regulation: Search for a Unified View Using Constraints. Electron. Trans. Artif. Intell. 5(B): 161-188 (2001)
• 
  A. P. Cootes, Stephen H. Muggleton, R. B. Greaves, Michael J. E. Sternberg:
  Automatic determination of protein fold signatures from structural superpositions. Electron. Trans. Artif. Intell. 5(B): 245-274 (2001)
• 
  Ross D. King, Nathalie Marchand-Geneste, Bjørn K. Alsberg:
  A quantum mechanics based representation of molecules for machine inference. Electron. Trans. Artif. Intell. 5(B): 127-142 (2001)
• 
  Ikuo Kobayashi, Koichi Furukawa, Tomonobu Ozaki, Mutsumi Imai:
  A Bootstrapping Model for Children's Vocabulary Acquisition using Inductive Logic Programming. Electron. Trans. Artif. Intell. 5(B): 47-72 (2001)
• 
  Donald Michie:
  Return of the Imitation Game. Electron. Trans. Artif. Intell. 5(B): 203-221 (2001)
• 
  Nils J. Nilsson:
  Teleo-Reactive Programs and the Triple-Tower Architecture. Electron. Trans. Artif. Intell. 5(B): 99-110 (2001)
• 
  Philip G. K. Reiser, Ross D. King, Douglas B. Kell, Stephen H. Muggleton, Christopher H. Bryant, Stephen G. Oliver:
  Developing a Logical Model of Yeast Metabolism. Electron. Trans. Artif. Intell. 5(B): 223-244 (2001)
• 
  Zhanna Reznikova, Boris Ryabko:
  A Study of Ants' Numerical Competence. Electron. Trans. Artif. Intell. 5(B): 111-126 (2001)
• 
  Boris Ryabko:
  The nonprobabilistic approach to learning the best prediction. Electron. Trans. Artif. Intell. 5(B): 37-45 (2001)
• 
  Claude Sammut:
  Managing Context in a Conversational Agent. Electron. Trans. Artif. Intell. 5(B): 189-202 (2001)
• 
  Erik Sandewall:
  On the Design of Software Individuals. Electron. Trans. Artif. Intell. 5(B): 143-160 (2001)
• 
  Steffen Schulze-Kremer:
  Ontologies for Molecular Biology. Electron. Trans. Artif. Intell. 5(B): 85-97 (2001)
• 2000
• 
  Martin F. van Bommel, T. J. Beck:
  Incremental Encoding of Multiple Inheritance Hierarchies Supporting Lattice Operations. Electron. Trans. Artif. Intell. 4(C): 35-49 (2000)
• 
  Simon Colton:
  An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming. Electron. Trans. Artif. Intell. 4(B): 97-117 (2000)
• 
  Peter W. Eklund, Richard J. Cole II:
  A Knowledge Representation for Information Filtering Using Formal Concept Analysis. Electron. Trans. Artif. Intell. 4(C): 51-61 (2000)
• 
  Makoto Haraguchi, Yoshiaki Okubo, Tokuyasu Kakuta:
  A Logical Foundation of Metaphoric Search Based on Abstraction Approach. Electron. Trans. Artif. Intell. 4(B): 53-81 (2000)
• 
  John W. Lloyd:
  Predicate Construction in Higher-order Logic. Electron. Trans. Artif. Intell. 4(B): 21-51 (2000)
• 
  Donald Michie:
  It Takes Two (At Least) to Tango. Electron. Trans. Artif. Intell. 4(B): 1-19 (2000)
• 
  Guy W. Mineau, Akshay Bissoon, Robert Godin:
  Simple Pre- and Post-Pruning Techniques for Large Conceptual Clustering Structures. Electron. Trans. Artif. Intell. 4(C): 1-20 (2000)
• 
  Stephen H. Muggleton:
  Learning Stochastic Logic Programs. Electron. Trans. Artif. Intell. 4(B): 141-153 (2000)
• 
  Massimo Paolucci, Onn Shehory, Katia P. Sycara:
  Interleaving Planning and Execution in a Multiagent Team Planning Environment. Electron. Trans. Artif. Intell. 4(A): 23-43 (2000)
• 
  Uta Priss:
  Faceted Knowledge Representation. Electron. Trans. Artif. Intell. 4(C): 21-33 (2000)
• 
  Dorian Suc, Ivan Bratko:
  Qualitative Trees Applied to Bicycle Riding. Electron. Trans. Artif. Intell. 4(B): 125-140 (2000)
• 
  Marcel Turcotte, Stephen H. Muggleton, Michael J. E. Sternberg:
  Use of Inductive Logic Programming to Learn Principles of Protein Structure. Electron. Trans. Artif. Intell. 4(B): 119-124 (2000)
• 
  Ken Ueno, Koichi Furukawa, Michael Bain:
  Motor Skill as Dynamic Constraint Satisfaction. Electron. Trans. Artif. Intell. 4(B): 83-96 (2000)
• 
  Richard Washington, Keith Golden, John L. Bresina:
  Plan Execution, Monitoring, and Adaptation for Planetary Rovers. Electron. Trans. Artif. Intell. 4(A): 3-21 (2000)
• 
  Simon White, Derek H. Sleeman:
  A Constraint-Based Approach to the Description and Detection of Fitness-for-Purpose. Electron. Trans. Artif. Intell. 4(B): 155-183 (2000)
• 1999
• 
  Eyal Amir:
  Object-Oriented First-Order Logic. Electron. Trans. Artif. Intell. 3(C): 63-84 (1999)

skipping 34 more matches