Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations.

Cindy Eisner Dana Fisman John Havlicek

Published in: ACM Trans. Comput. Log. (2014)

Keyphrases

topological relations
spatial reasoning
spatial regions
spatial relations
path consistency
knowledge base
temporal reasoning
spatial objects
spatial clustering