Matthias Westphal

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 1

Top Venues

ICTAI

CoRR

J. Philos. Log.

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz
On Qualitative Route Descriptions. J. Philos. Log. 44 (2) (2015)
Julien Hué, Matthias Westphal, Stefan Wölfl
Towards a New Semantics for Possibilistic Answer Sets. KI (2014)
Matthias Westphal, Julien Hué, Stefan Wölfl
On the Scope of Qualitative Constraint Calculi. KI (2014)
Matthias Westphal, Julien Hué
A Concise Horn Theory for RCC8. ECAI (2014)
Silvia Richter, Matthias Westphal
The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks. CoRR (2014)
Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel
Transition Constraints: A Study on the Computational Complexity of Qualitative Change. IJCAI (2013)
Matthias Westphal, Julien Hué, Stefan Wölfl
On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning. ICTAI (2013)
Julien Hué, Matthias Westphal, Stefan Wölfl
An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning. ICTAI (2012)
Matthias Westphal, Julien Hué
Nogoods in Qualitative Constraint-Based Reasoning. KI (2012)
Julien Hué, Matthias Westphal
Revising Qualitative Constraint Networks: Definition and Implementation. ICTAI (2012)
Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz
On Qualitative Route Descriptions: Representation and Computational Complexity. IJCAI (2011)
Matthias Westphal, Christian Dornhege, Stefan Wölfl, Marc Gissler, Bernhard Nebel
Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning. Spatial Cogn. Comput. 11 (1) (2011)
Matthias Westphal, Jochen Renz
Evaluating and minimizing ambiguities in qualitative route instructions. GIS (2011)
Silvia Richter, Matthias Westphal
The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks. J. Artif. Intell. Res. 39 (2010)
Matthias Westphal, Stefan Wölfl, Jason Jingshi Li
Restarts and Nogood Recording in Qualitative Constraint-based Reasoning. ECAI (2010)
Matthias Westphal, Stefan Wölfl
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning. IJCAI (2009)
Matthias Westphal, Stefan Wölfl, Zeno Gantner
GQR: A Fast Solver for Binary Qualitative Constraint Networks. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (2009)
Florian Pommerening, Stefan Wölfl, Matthias Westphal
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning. KI (2009)
Stefan Wölfl, Matthias Westphal
On Combinations of Binary Qualitative Constraint Calculi. IJCAI (2009)
Matthias Westphal, Stefan Wölfl
Confirming the QSR Promise. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (2009)
Silvia Richter, Malte Helmert, Matthias Westphal
Landmarks Revisited. AAAI (2008)

Matthias Westphal.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Westphal