Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Antonio Morales, Isabel Navarrete, Guido Sciavicco. Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers. Volume 4739 of Lecture Notes in Computer Science, pages 313-320, Springer, 2007. [doi]

This author has not been identified. Look up 'Antonio Morales' in GoogleThis author has not been identified. Look up 'Isabel Navarrete' in GoogleThis author has not been identified. Look up 'Guido Sciavicco' in Google

runs on WebDSL