• DocumentCode
    2903384
  • Title

    Undecidability of Interval Temporal Logics with the Overlap Modality

  • Author

    Bresolin, Davide ; Della Monica, Dario ; Goranko, Valentin ; Montanari, Angelo ; Sciavicco, Guido

  • Author_Institution
    Univ. of Verona, Verona, Italy
  • fYear
    2009
  • fDate
    23-25 July 2009
  • Firstpage
    88
  • Lastpage
    95
  • Abstract
    We investigate fragments of Halpern-Shoham´s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these fragments are undecidable, by employing a non-trivial reduction from the octant tiling problem.
  • Keywords
    temporal logic; Halpern-Shoham interval logic; interval temporal logics; octant tiling problem; overlap modality; Africa; Artificial intelligence; Computer science; Constraint theory; Hardware; Logic; Natural language processing; Ontologies; Real time systems; Spatial databases;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Temporal Representation and Reasoning, 2009. TIME 2009. 16th International Symposium on
  • Conference_Location
    Bressanone-Brixen
  • ISSN
    1530-1311
  • Print_ISBN
    978-0-7695-3727-6
  • Type

    conf

  • DOI
    10.1109/TIME.2009.24
  • Filename
    5368638
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2903384