Title :
Interval Temporal Logics with Chop-Like Operators
Author_Institution :
Imperial Coll. London, London, UK
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;
Conference_Titel :
Temporal Representation and Reasoning (TIME), 2010 17th International Symposium on
Conference_Location :
Paris
Print_ISBN :
978-1-4244-8014-2
DOI :
10.1109/TIME.2010.28
