Landmarks Revisited. - Silvia Richter; Malte Helmert; Matthias Westphal (AAAI, 2008)

Confirming the QSR Promise. - Matthias Westphal; Stefan Wölfl 001 (AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009)

GQR: A Fast Solver for Binary Qualitative Constraint Networks. - Matthias Westphal; Stefan Wölfl 001; Zeno Gantner (AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009)

Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning. - Matthias Westphal; Stefan Wölfl 001 (IJCAI, 2009)

On Combinations of Binary Qualitative Constraint Calculi. - Stefan Wölfl 001; Matthias Westphal (IJCAI, 2009)

Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning. - Florian Pommerening; Stefan Wölfl 001; Matthias Westphal (KI, 2009)

Restarts and Nogood Recording in Qualitative Constraint-based Reasoning. - Matthias Westphal; Stefan Wölfl 001; Jason Jingshi Li (ECAI, 2010)

The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks. - Silvia Richter; Matthias Westphal (J. Artif. Intell. Res., 2010)

Evaluating and minimizing ambiguities in qualitative route instructions. - Matthias Westphal; Jochen Renz (GIS, 2011)

On Qualitative Route Descriptions: Representation and Computational Complexity. - Matthias Westphal; Stefan Wölfl 001; Bernhard Nebel; Jochen Renz (IJCAI, 2011)

Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning. - Matthias Westphal; Christian Dornhege; Stefan Wölfl 001; Marc Gissler; Bernhard Nebel (Spatial Cogn. Comput., 2011)

Revising Qualitative Constraint Networks: Definition and Implementation. - Julien Hué; Matthias Westphal (ICTAI, 2012)

An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning. - Julien Hué; Matthias Westphal; Stefan Wölfl 001 (ICTAI, 2012)

Nogoods in Qualitative Constraint-Based Reasoning. - Matthias Westphal; Julien Hué (KI, 2012)

On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning. - Matthias Westphal; Julien Hué; Stefan Wölfl 001 (ICTAI, 2013)

Transition Constraints: A Study on the Computational Complexity of Qualitative Change. - Matthias Westphal; Julien Hué; Stefan Wölfl 001; Bernhard Nebel (IJCAI, 2013)

A Concise Horn Theory for RCC8. - Matthias Westphal; Julien Hué (ECAI, 2014)

Towards a New Semantics for Possibilistic Answer Sets. - Julien Hué; Matthias Westphal; Stefan Wölfl 001 (KI, 2014)

On the Scope of Qualitative Constraint Calculi. - Matthias Westphal; Julien Hué; Stefan Wölfl 001 (KI, 2014)

On Qualitative Route Descriptions. - Matthias Westphal; Stefan Wölfl 001; Bernhard Nebel; Jochen Renz (J. Philos. Log., 2015)

Qualitative constraint-based reasoning: methods and applications. - Matthias Westphal (2015)