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

Antonio Morales Isabel Navarrete Guido Sciavicco Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic. 313-320 2007 conf/eurocast/2007 EUROCAST http://dx.doi.org/10.1007/978-3-540-75867-9_40 db/conf/eurocast/eurocast2007.html#MoralesNS07