Matthias Westphal

According to our database, Matthias Westphal authored at least 21 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Qualitative constraint-based reasoning: methods and applications.

Matthias Westphal

PhD thesis, 2015

On Qualitative Route Descriptions.

Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz

J. Philos. Log., 2015

2014

On the Scope of Qualitative Constraint Calculi.

Matthias Westphal, Julien Hué, Stefan Wölfl

Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

Towards a New Semantics for Possibilistic Answer Sets.

Julien Hué, Matthias Westphal, Stefan Wölfl

Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

A Concise Horn Theory for RCC8.

Matthias Westphal, Julien Hué

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Transition Constraints: A Study on the Computational Complexity of Qualitative Change.

Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel

Proceedings of the IJCAI 2013, 2013

On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning.

Matthias Westphal, Julien Hué, Stefan Wölfl

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Nogoods in Qualitative Constraint-Based Reasoning.

Matthias Westphal, Julien Hué

Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning.

Julien Hué, Matthias Westphal, Stefan Wölfl

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Revising Qualitative Constraint Networks: Definition and Implementation.

Julien Hué, Matthias Westphal

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011

Guiding the Generation of Manipulation Plans by Qualitative Spatial Reasoning.

Matthias Westphal, Christian Dornhege, Stefan Wölfl, Marc Gissler, Bernhard Nebel

Spatial Cogn. Comput., 2011

On Qualitative Route Descriptions: Representation and Computational Complexity.

Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz

Proceedings of the IJCAI 2011, 2011

Evaluating and minimizing ambiguities in qualitative route instructions.

Matthias Westphal, Jochen Renz

Proceedings of the 19th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2011

2010

The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks.

Silvia Richter, Matthias Westphal

J. Artif. Intell. Res., 2010

Restarts and Nogood Recording in Qualitative Constraint-based Reasoning.

Matthias Westphal, Stefan Wölfl, Jason Jingshi Li

Proceedings of the ECAI 2010, 2010

2009

Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning.

Florian Pommerening, Stefan Wölfl, Matthias Westphal

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

On Combinations of Binary Qualitative Constraint Calculi.

Stefan Wölfl, Matthias Westphal

Proceedings of the IJCAI 2009, 2009

Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning.

Matthias Westphal, Stefan Wölfl

Proceedings of the IJCAI 2009, 2009

GQR: A Fast Solver for Binary Qualitative Constraint Networks.

Matthias Westphal, Stefan Wölfl, Zeno Gantner

Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

Confirming the QSR Promise.

Matthias Westphal, Stefan Wölfl

Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

2008

Landmarks Revisited.

Silvia Richter, Malte Helmert, Matthias Westphal

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008