A Tableau-Based System for Spatial Reasoning about Directional Relations.

Davide Bresolin Angelo Montanari Pietro Sala Guido Sciavicco

Published in: TABLEAUX (2009)

Keyphrases

directional relations
spatial reasoning
spatial relations
qualitative spatial reasoning
temporal reasoning
qualitative spatial
formal theory
spatial information
spatio temporal
description logics
closely related
co occurrence