Publications of Matthias Westphal
2014
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 | , and ,
[DOI] |
2009
Confirming the QSR Promise, in: AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, AAAI Press, 2009 | and ,
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 | , and ,
On Combinations of Binary Qualitative Constraint Calculi, in: IJCAI-09, 2009 | and ,
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning, in: IJCAI-09, 2009 | and ,
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning, in: Proceedings of {IJCAI-09}, 2009 | and ,
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning, in: KI 2009, pages 468-475, Springer, 2009 | , and ,
2008
Bipath Consistency Revisited, in: Proceedings of the ECAI'08 Workshop on Spatial and Temporal Reasoning, 2008 | and ,
Bipath Consistency Revisited, 2008 | and ,
GQR - A Fast Reasoner for Binary Qualitative Constraint Calculi, in: Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning, 2008 | , and ,
GQR -- A Fast Reasoner for Binary Qualitative Constraint Calculi, in: Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning, 2008 | , and ,