Qualitative Spatial Logics for Buffered Geometries.

Heshan Du Natasha Alechina

Published in: J. Artif. Intell. Res. (2016)

Keyphrases

qualitative spatial
human robot interaction
expressive power
qualitative spatial reasoning
modal logic
inference rules
cardinal directions
cardinal direction relations
integrity constraints
temporal information