Publications

. Multiagent Simple Temporal Problem: The Arc-Consistency Approach. Thirty-Second AAAI Conference on Artificial Intelligence, 2018.

PDF

. A Deterministic Distributed Algorithm for Reasoning with Connected Row-Convex Constraints. Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017.

PDF

. Trend-Based Prediction of Spatial Change. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016.

PDF

. Connecting Qualitative Spatial and Temporal Representations by Propositional Closure. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016.

PDF

. On Redundancy in Simple Temporal Networks. Proceedings of the 22nd European Conference on Artificial Intelligence, 2016.

PDF DOI

. Hole in One: Using Qualitative Reasoning for Solving Hard Physical Puzzle Problems. Proceedings of the 22nd European Conference on Artificial Intelligence, 2016.

PDF DOI

. From Raw Sensor Data to Detailed Spatial Knowledge. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015.

PDF

. Qualitative Reasoning About Directions in Semantic Spaces. Proceedings of the 24th International Conference on Artificial Intelligence, 2015.

PDF

. The Complexity of Reasoning with Relative Directions. 21st European Conference on Artificial Intelligence, 2014.

PDF DOI

. Towards Safe Navigation by Formalizing Navigation Rules. TransNav, the International Journal on Marine Navigation and Safety of Sea Transportation, 2013.

PDF DOI

. StarVars: Effective Reasoning About Relative Directions. Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, 2013.

PDF

. A new perspective on reasoning with qualitative spatial knowledge. Proceedings of IJCAI-2011 Workshop 27: Benchmarks and Applications of Spatial Reasoning, 2011.

PDF

. A Combined Calculus on Orientation with Composition Based on Geometric Properties. Proceedings of the 19th European Conference on Artificial Intelligence, 2010.

PDF

. Composition in OPRAm. 2007.