• DocumentCode
    2570063
  • Title

    Interval Temporal Logics with Chop-Like Operators

  • Author

    Hodkinson, Ian

  • Author_Institution
    Imperial Coll. London, London, UK
  • fYear
    2010
  • fDate
    6-8 Sept. 2010
  • Firstpage
    6
  • Lastpage
    6
  • Abstract
    This paper is talking about temporal logics with semantics based on intervals of time. Interval operators allow wide choice of temporal operators which includes unary operators with semantics and binary operators are considered.
  • Keywords
    mathematical operators; programming language semantics; temporal logic; binary operator; chop like operator; interval operator; interval temporal logic; unary operator; Algebra; Cognition; Grammar; Joints; Planning; Roads; Semantics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Temporal Representation and Reasoning (TIME), 2010 17th International Symposium on
  • Conference_Location
    Paris
  • ISSN
    1530-1311
  • Print_ISBN
    978-1-4244-8014-2
  • Type

    conf

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