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

• 2009
• 
  Jean-François Condotta, Gérard Ligozat, Mahmoud Saade:
  Qualitative Constraints for Job Shop Scheduling. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 1-4
• 
  Matteo Cristani, Nicoletta Gabrielli:
  Practical Issues of Description Logics for Spatial Reasoning. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 5-10
• 
  Torsten Hahmann, Michael Gruninger:
  Detecting Physical Defects: A Practical 2D-Study of Cracks and Holes. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 11-16
• 
  Cui Jian, Hui Shi, Bernd Krieg-Brückner:
  SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 47-48
• 
  Reinhard Moratz:
  Ambiguous Landmark Problems in Cognitive Robotics: A Benchmark for Qualitative Position Calculi. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 17-22
• 
  Bernhard Nebel, Stefan Wölfl:
  Organizing Committee. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009
• 
  Bernhard Nebel, Stefan Wölfl:
  Preface. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 1
• 
  Marco Ragni, Gregory Kuhnmünch:
  A Cognitive Perspective on QSR: Navigation as an Example. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 23-28
• 
  Carl P. L. Schultz, Robert Amor, Hans W. Guesgen:
  Towards a Theory of Application for QSTR Systems. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 29-34
• 
  David Thau, Shawn Bowers, Bertram Ludäscher:
  CleanTax: A Framework for Reasoning about Taxonomies. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 49-50
• 
  Jan Oliver Wallgrün:
  Multi-Hypothesis Topological Mapping Using Qualitative Spatial Reasoning. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 35-40
• 
  Matthias Westphal, Stefan Wölfl:
  Confirming the QSR Promise. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 41-46
• 
  Matthias Westphal, Stefan Wölfl, Zeno Gantner:
  GQR: A Fast Solver for Binary Qualitative Constraint Networks. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 51-52
• 
  Diedrich Wolter:
  SparQ - A Spatial Reasoning Toolbox. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 53-
• 
  Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-02, Stanford, California, USA, March 23-25, 2009. AAAI 2009 [contents]