A Decidable Spatial Generalization of Metric Interval Temporal Logic

    TIME, pp. 95-102, 2010.

    Cited by: 8|Bibtex|Views3|Links
    EI WOS
    Keywords:
    calculuscomputabilitycomputational complexitydecidabilitygeneralisation (artificial intelligence)More(14+)

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments