# 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 …

## 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 …

## 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 …