Benchmarking of Qualitative Spatial and Temporal Reasoning Systems
Papers from the 2009 AAAI Spring Symposium
Bernard Nebel and Stefan Wölfl, Program Cochairs
Technical Report SS-09-02. Published by The AAAI Press, Menlo Park, California. This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Organizing Committee / iii
Bernard Nebel and Stefan Wölfl
Preface / 1
Bernard Nebel and Stefan Wölfl
Full Papers
Qualitative Constraints for Job Shop Scheduling / 1
Jean-François Condotta, Gérard Ligozat, Mahmoud Saade
Practical Issues of Description Logics for Spatial Reasoning / 5
Matteo Cristani, Nicoletta Gabrielli
Detecting Physical Defects: A Practical 2D-Study of Cracks and Holes / 11
Torsten Hahmann, Michael Gruninger
Ambiguous Landmark Problems in Cognitive Robotics: A Benchmark for Qualitative Position Calculi / 17
Reinhard Moratz
A Cognitive Perspective on QSR: Navigation as an Example / 23
Marco Ragni, Gregory Kuhnmünch
Towards a Theory of Application for QSTR Systems / 29
Carl Schultz, Robert Amor, Hans Guesgen
Multi-Hypothesis Topological Mapping Using Qualitative Spatial Reasoning / 35
Jan Oliver Wallgrün
Confirming the QSR Promise / 41
Matthias Westphal, Stefan Wölfl
Tool Description Papers
SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge / 47
Cui Jian, Hui Shi, Bernd Krieg-Brückner
CleanTax: A Framework for Reasoning about Taxonomies / 49
David Thau, Shawn Bowers, Bertram Ludäscher
GQR: A Fast Solver for Binary Qualitative Constraint Networks / 51
Matthias Westphal, Stefan Wölfl, Zeno Gantner
SparQ—A Spatial Reasoning Toolbox / 53
Diedrich Wolter
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.