Matthias Westphal
First name(s): Matthias
Last name(s): Westphal

Keywords:


Publications of Matthias Westphal
2014
Julien Hué, Matthias Westphal and Stefan Wölfl, Towards a New Semantics for Possibilistic Answer Sets, in: {KI} 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings, pages 159--170, 2014
[DOI]
2009
Matthias Westphal and Stefan Wölfl, Confirming the QSR Promise, in: AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, AAAI Press, 2009
Matthias Westphal, Stefan Wölfl and Zeno Gantner, GQR: A Fast Solver for Binary Qualitative Constraint Networks, in: Proceedings of the {AAAI}'09 Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, {AAAI} Press, 2009
2008
Matthias Westphal and Stefan Wölfl, Bipath Consistency Revisited, in: Proceedings of the ECAI'08 Workshop on Spatial and Temporal Reasoning, 2008
Zeno Gantner, Matthias Westphal and Stefan Wölfl, GQR - A Fast Reasoner for Binary Qualitative Constraint Calculi, in: Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning, 2008
Zeno Gantner, Matthias Westphal and Stefan Wölfl, GQR -- A Fast Reasoner for Binary Qualitative Constraint Calculi, in: Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning, 2008