No. 2: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems

Contents

• SparQ—A Spatial Reasoning Toolbox

  Diedrich Wolter

  PDF

• Practical Issues of Description Logics for Spatial Reasoning

  Matteo Cristani, Nicoletta Gabrielli

  PDF

• Towards a Theory of Application for QSTR Systems

  Carl Schultz, Robert Amor, Hans Guesgen

  PDF

• CleanTax: A Framework for Reasoning about Taxonomies

  David Thau, Shawn Bowers, Bertram Ludäscher

  PDF

• Confirming the QSR Promise

  Matthias Westphal and Stefan Wölfl

  PDF

• A Cognitive Perspective on QSR: Navigation as an Example

  Marco Ragni, Gregory Kuhnmünch

  PDF

• GQR: A Fast Solver for Binary Qualitative Constraint Networks

  Matthias Westphal, Stefan Wölfl, Zeno Gantner

  PDF

• Organizing Committee

  Bernhard Nebel, Stefan Wölfl

  PDF

• Detecting Physical Defects: A Practical 2D-Study of Cracks and Holes

  Torsten Hahmann, Michael Gruninger

  PDF

• Preface

  Bernhard Nebel, Stefan Wölfl

  PDF

• Multi-Hypothesis Topological Mapping Using Qualitative Spatial Reasoning

  Jan Oliver Wallgrün

  PDF

• SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge

  Cui Jian, Hui Shi and Bernd Krieg-Brückner

  PDF

• Ambiguous Landmark Problems in Cognitive Robotics: A Benchmark for Qualitative Position Calculi

  Reinhard Moratz

  PDF

• Qualitative Constraints for Job Shop Scheduling

  Jean-François Condotta1 , Gérard Ligozat, and Mahmoud Saade

  PDF