Presentations

Geoff Sutcliffe:
Evaluating Automated Theorem Proving Systems
Matthias Westphal and Stefan Wölfl:
Confirming the QSR Promise
(.pdf)
Carl Schultz, Robert Amor, and Hans Guesgen:
Towards A Theory of Application for QSTR Systems
(.pdf)
Jason Jingshi Li and Jochen Renz:
Blocks World for the Real World - A Proposal
Torsten Hahmann and Michael Gruninger:
Detecting physical defects: A practical 2D-study of cracks and holes
(.pdf)
Debasis Mitra:
Explanation Generation over Temporal Interval Algebra
(.pdf)
Joe Steinhauer:
A Representation Scheme for Description and Reconstruction of Object Configurations Based on Qualitative Relations
(.pdf)
Shyamanta M. Hazarika:
Qualitative Spatial Change in Mereotopology: Mining Spatio-temporal Patterns
(.pdf)
Anthony Cohn:
James Pustejovsky:
The Qualitative Spatial Dynamics of Motion as Expressed in Language
(.pdf)
Toby Walsh:
SAT and CSP Competitions and Benchmark Libraries.
(.pdf)
Jean-Francois Condotta, Gerard Ligozat, and Mahmoud Saade:
Qualitative Constraints for Job Shop Scheduling
Marco Ragni and Gregory Kuhnmünch:
A Cognitive Perspective on QSR: Navigation as an Example
(.pdf)
Reinhard Moratz:
Ambiguous Landmark Problems in Cognitive Robotics: A Benchmark for Qualitative Position Calculi
(.pdf)
Jan Oliver Wallgrün:
Multi-Hypothesis Topological Mapping Using Qualitative Spatial Reasoning
(.pdf)
Michael Witbrock:
There's a Time and Place for Everything.
Matteo Cristani and Nicoletta Gabrielli:
Practical Issues of Description Logics for Spatial Reasoning

Vinay Chaudry:
Diagrammatic Reasoning
(.pdf)
David Thau, Shawn Bowers, and Bertram Ludäscher:
CLEANTAX: A Framework for Reasoning about Taxonomies
(.pdf)
Matthias Westphal and Stefan Wölfl:
GQR:A Fast Solver for Binary Qualitative Constraint Networks
(.pdf)
Diedrich Wolter:
SparQ -- A Spatial Reasoning Toolbox
(.pdf)
Christoph Benzmüller:
LEO: A Framework for Automating Propositional and Quantified Multimodal Logics in Classical Higher-Order Logics
(.pdf)
Jason Jingshi Li:
James Pustejovsky: