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

• 1998
• 
  Zippora Arzi-Gonczarowski, Daniel Lehmann:
  Introducing the Mathematical Category of Artificial Perceptions. Ann. Math. Artif. Intell. 23(3-4): 267-298 (1998)
• 
  Peter Auer, Nicolò Cesa-Bianchi:
  On-Line Learning with Malicious Noise and the Closure Algorithm. Ann. Math. Artif. Intell. 23(1-2): 83-99 (1998)
• 
  Endre Boros, Ondrej Cepek, Alexander Kogan:
  Horn Minimization by Iterative Decomposition. Ann. Math. Artif. Intell. 23(3-4): 321-343 (1998)
• 
  Elizabeth Bradley, Abbie O'Gallagher, Janet Rogers:
  Global Solutions for Nonlinear Systems Using Qualitative Reasoning. Ann. Math. Artif. Intell. 23(3-4): 211-228 (1998)
• 
  Gennady Davydov, Inna Davydova, Hans Kleine Büning:
  An Efficient Algorithm for the Minimal Unsatisfiability Problem for a Subclass of CNF. Ann. Math. Artif. Intell. 23(3-4): 229-245 (1998)
• 
  Rusins Freivalds, Ognian Botuscharov, Rolf Wiehagen:
  Identifying Nearly Minimal Gödel Numbers from Additional Information. Ann. Math. Artif. Intell. 23(1-2): 199-209 (1998)
• 
  William I. Gasarch, Mark G. Pleszkoch, Frank Stephan, Mahendran Velauthapillai:
  Classification Using Information. Ann. Math. Artif. Intell. 23(1-2): 147-168 (1998)
• 
  Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou:
  Adaptation of Declaratively Represented Methods in Proof Planning. Ann. Math. Artif. Intell. 23(3-4): 299-320 (1998)
• 
  Hiroki Ishizaka, Hiroki Arimura, Takeshi Shinohara:
  Finding Tree Patterns Consistent with Positive and Negative Examples Using Queries. Ann. Math. Artif. Intell. 23(1-2): 101-115 (1998)
• 
  Sanjay Jain, Arun Sharma:
  Generalization and Specialization Strategies for Learning r.e. Languages. Ann. Math. Artif. Intell. 23(1-2): 1-26 (1998)
• 
  Steffen Lange, Jochen Nessel, Rolf Wiehagen:
  Learning Recursive Languages from Good Examples. Ann. Math. Artif. Intell. 23(1-2): 27-52 (1998)
• 
  Atsuyoshi Nakamura, Jun'ichi Takeuchi, Naoki Abe:
  Efficient Distribution-Free Population Learning of Simple Concepts. Ann. Math. Artif. Intell. 23(1-2): 53-82 (1998)
• 
  Yoshiaki Okubo, Makoto Haraguchi:
  Constructing Predicate Mappings for Goal-Dependent Abstraction. Ann. Math. Artif. Intell. 23(1-2): 169-197 (1998)
• 
  Jinchang Wang:
  Inference Guiding in Propositional Knowledge Bases. Ann. Math. Artif. Intell. 23(3-4): 345-356 (1998)
• 
  Qingxun Yu, Mohammed Almulla, Monroe M. Newborn:
  Heuristics Used by HERBY for Semantic Tree Theorem Proving. Ann. Math. Artif. Intell. 23(3-4): 247-266 (1998)
• 
  Thomas Zeugmann:
  Lange and Wiehagen's Pattern Language Learning Algorithm: An Average-Case Analysis with Respect to its Total Learning Time. Ann. Math. Artif. Intell. 23(1-2): 117-145 (1998)