Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning.

Bernhard Nebel Alexander Scivos

Published in: Künstliche Intell. (2002)

Keyphrases

qualitative spatial reasoning
qualitative spatial
spatial reasoning
cardinal directions
spatial relations
path consistency
formal theory
desirable properties
human robot interaction
qualitative information
maximal tractable
directional relations