| 2014 | ECAI | A Concise Horn Theory for RCC8. | Matthias Westphal, Julien Hu |
| 2014 | KI | Towards a New Semantics for Possibilistic Answer Sets. | Julien Hu, Matthias Westphal, Stefan Wlfl |
| 2014 | KI | On the Scope of Qualitative Constraint Calculi. | Matthias Westphal, Julien Hu, Stefan Wlfl |
| 2013 | IJCAI | Transition Constraints: A Study on the Computational Complexity of Qualitative Change. | Matthias Westphal, Julien Hu, Stefan Wlfl, Bernhard Nebel |
| 2013 | ICTAI | On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning. | Matthias Westphal, Julien Hu, Stefan Wlfl |
| 2012 | ICTAI | Revising Qualitative Constraint Networks: Definition and Implementation. | Julien Hu, Matthias Westphal |
| 2012 | ICTAI | An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning. | Julien Hu, Matthias Westphal, Stefan Wlfl |
| 2012 | KI | Nogoods in Qualitative Constraint-Based Reasoning. | Matthias Westphal, Julien Hu |
| 2011 | IJCAI | On Qualitative Route Descriptions: Representation and Computational Complexity. | Matthias Westphal, Stefan Wlfl, Bernhard Nebel, Jochen Renz |
| 2010 | ECAI | Restarts and Nogood Recording in Qualitative Constraint-based Reasoning. | Matthias Westphal, Stefan Wlfl, Jason Jingshi Li |
| 2009 | IJCAI | Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning. | Matthias Westphal, Stefan Wlfl |
| 2009 | IJCAI | On Combinations of Binary Qualitative Constraint Calculi. | Stefan Wlfl, Matthias Westphal |
| 2009 | KI | Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning. | Florian Pommerening, Stefan Wlfl, Matthias Westphal |
| 2008 | AAAI | Landmarks Revisited. | Silvia Richter, Malte Helmert, Matthias Westphal |