Qualitative Spatial Reasoning in a Logical Framework.

Alessandra Raffaetà Chiara Renso Franco Turini

Published in: AI*IA (2003)

Keyphrases

logical framework
qualitative spatial reasoning
spatial reasoning
qualitative spatial
inference rules
reasoning tasks
spatial relations
belief revision
formal theory
cardinal directions
path consistency
qualitative information
spatial information
temporal reasoning
data model
object oriented