Matthias Westphal

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