Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic.

Antonio Morales, Guido Sciavicco

Browse the full TIME paper archive.