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

• 2008
• 
  Alon Altman, Moshe Tennenholtz:
  Axiomatic Foundations for Ranking Systems. J. Artif. Intell. Res. 31: 473-495 (2008)
• 
  Menkes Hector Louis van den Briel, Thomas Vossen, Subbarao Kambhampati:
  Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective. J. Artif. Intell. Res. 31: 217-257 (2008)
• 
  James Clarke, Mirella Lapata:
  Global Inference for Sentence Compression: An Integer Linear Programming Approach. J. Artif. Intell. Res. 31: 399-429 (2008)
• 
  Kurt M. Dresner, Peter Stone:
  A Multiagent Approach to Autonomous Intersection Management. J. Artif. Intell. Res. 31: 591-656 (2008)
• 
  Jacob Eisenstein, Regina Barzilay, Randall Davis:
  Gesture Salience as a Hidden Variable for Coreference Resolution and Keyframe Extraction. J. Artif. Intell. Res. 31: 353-398 (2008)
• 
  Yagil Engel, Michael P. Wellman:
  CUI Networks: A Graphical Representation for Conditional Utility Independence. J. Artif. Intell. Res. 31: 83-112 (2008)
• 
  Omer Giménez, Anders Jonsson:
  The Complexity of Planning Problems With Simple Causal Graphs. J. Artif. Intell. Res. 31: 319-351 (2008)
• 
  Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler:
  Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. 31: 157-204 (2008)
• 
  Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
  Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. 31: 273-318 (2008)
• 
  Federico Heras, Javier Larrosa, Albert Oliveras:
  MiniMaxSAT: An Efficient Weighted Max-SAT solver. J. Artif. Intell. Res. 31: 1-32 (2008)
• 
  Yongmei Liu, Gerhard Lakemeyer:
  On the Expressiveness of Levesque's Normal Form. J. Artif. Intell. Res. 31: 259-272 (2008)
• 
  Mausam, Daniel S. Weld:
  Planning with Durative Actions in Stochastic Domains. J. Artif. Intell. Res. 31: 33-82 (2008)
• 
  Matthew Michelson, Craig A. Knoblock:
  Creating Relational Data from Unstructured and Ungrammatical Data Sources. J. Artif. Intell. Res. 31: 543-590 (2008)
• 
  Malcolm R. K. Ryan:
  Exploiting Subgraph Structure in Multi-Robot Path Planning. J. Artif. Intell. Res. 31: 497-542 (2008)
• 
  Chenggang Wang, Saket Joshi, Roni Khardon:
  First Order Decision Diagrams for Relational MDPs. J. Artif. Intell. Res. 31: 431-472 (2008)
• 
  Ka-Shu Wong:
  Sound and Complete Inference Rules for SE-Consequence. J. Artif. Intell. Res. 31: 205-216 (2008)
• 
  Yan Zhang, Yulin Ding:
  CTL Model Update for System Modifications. J. Artif. Intell. Res. 31: 113-155 (2008)