A Decidable Spatial Generalization of Metric Interval Temporal Logic
TIME, pp. 95-102, 2010.
calculuscomputabilitycomputational complexitydecidabilitygeneralisation (artificial intelligence)More(14+)
Temporal reasoning plays an important role in artificial intelligence. Temporal logics provide a natural framework for its formalization and implementation. A standard way of enhancing the expressive power of temporal logics is to replace their unidimensional domain by a multidimensional one. In particular, such a dimensional increase can...More
PPT (Upload PPT)