A Modal and Relevance Logic for Qualitative Spatial Reasoning.

Pranab Kumar Ghosh Michael Winter

Published in: RAMiCS (2018)

Keyphrases

qualitative spatial reasoning
modal logic
formal theory
spatial reasoning
qualitative spatial
path consistency
inference rules
directional relations
logic programming
spatial relations
cardinal directions
image features
temporal logic