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

• 2004
• 
  Varol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner:
  Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Artif. Intell. 153(1-2): 105-140 (2004)
• 
  Eyal Amir, Pedrito Maynard-Zhang:
  Logic-based subsumption architecture. Artif. Intell. 153(1-2): 167-237 (2004)
• 
  Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams:
  Weakening conflicting information for iterated revision and knowledge integration. Artif. Intell. 153(1-2): 339-371 (2004)
• 
  Brandon Bennett, Antony Galton:
  A unifying semantics for time and events. Artif. Intell. 153(1-2): 13-48 (2004)
• 
  Ernest Davis, Leora Morgenstern:
  Introduction: Progress in formal commonsense reasoning. Artif. Intell. 153(1-2): 1-12 (2004)
• 
  Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner:
  Nonmonotonic causal theories. Artif. Intell. 153(1-2): 49-104 (2004)
• 
  Andrew S. Gordon:
  The representation of planning strategies. Artif. Intell. 153(1-2): 287-305 (2004)
• 
  Joakim Gustafsson, Jonas Kvarnström:
  Elaboration tolerance through object-orientation. Artif. Intell. 153(1-2): 239-285 (2004)
• 
  Murray Shanahan:
  An attempt to formalise a non-trivial benchmark problem in common sense reasoning. Artif. Intell. 153(1-2): 141-165 (2004)
• 
  Josefina Sierra-Santibáñez:
  Heuristic planning: A declarative approach based on strategies for action selection. Artif. Intell. 153(1-2): 307-337 (2004)