Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic | Publicación