Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

EUROCAST
2007
Springer

favoriteEmaildiscussreport

105views Hardware» more EUROCAST 2007»

Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic

13 years 6 months ago

Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic

Download perseo.dif.um.es

Antonio Morales, Isabel Navarrete, Guido Sciavicco

Real-time Traffic

EUROCAST 2007 | Hardware |

claim paper

Related Content

» Metric Propositional Neighborhood Logics Expressiveness Decidability and Undecidability

» A new modal logic for reasoning about space spatial propositional neighborhood logic

» On Decidability and Expressiveness of Propositional Interval Neighborhood Logics

» Propositional Interval Temporal Logics Some Promising Paths

» A Hierarchical Completeness Proof for Propositional Temporal Logic

» Tractable Temporal Reasoning

» Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for I...

» A Complete Temporal and Spatial Logic for Distributed Systems

» Quality Checking of Medical Guidelines Using Interval Temporal Logics A CaseStudy

Post Info
More Details (n/a)

Added	19 Oct 2010
Updated	19 Oct 2010
Type	Conference
Year	2007
Where	EUROCAST
Authors	Antonio Morales, Isabel Navarrete, Guido Sciavicco

Comments (0)