Spatial Reasoning

A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties

Qualitative spatial and temporal reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques include exploiting computational properties that allow efficient …

Connecting Qualitative Spatial and Temporal Representations by Propositional Closure

Trend-Based Prediction of Spatial Change

Hole in One: Using Qualitative Reasoning for Solving Hard Physical Puzzle Problems

In this paper we define a realistic physical action selection problem that has many features common to these kind of problems, the minigolf hole-in-one problem: given a two-dimensional minigolf-like obstacle course, a ball and a hole, determine a …

Hole in One: Using Qualitative Reasoning for Solving Hard Physical Puzzle Problems

In this paper we define a realistic physical action selection problem that has many features common to these kind of problems, the minigolf hole-in-one problem: given a two-dimensional minigolf-like obstacle course, a ball and a hole, determine a …

From Raw Sensor Data to Detailed Spatial Knowledge

Qualitative Reasoning About Directions in Semantic Spaces

We introduce a framework for qualitative reasoning about directions in high-dimensional spaces, called EER, where our main motivation is to develop a form of commonsense reasoning about semantic spaces. The proposed framework is, however, more …

The Complexity of Reasoning with Relative Directions

Qualitative Reasoning about Relative Directions: Computational Complexity and Practical Algorithm

StarVars: Effective Reasoning About Relative Directions