The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT

    Ann. Math. Artif. Intell., pp. 11-39, 2014.

    Cited by: 18|Bibtex|Views7|Links
    EI
    Keywords:
    Interval temporal logicTableau methodsDecidabilityComplexity03B44More(3+)

    Abstract:

    Decidability and complexity of the satisfiability problem for the logics of time intervals have been extensively studied in the recent years. Even though most interval logics turn out to be undecidable, meaningful exceptions exist, such as the logics of temporal neighborhood and (some of) the logics of the subinterval relation. In this pa...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments