518 search results - page 3 / 104 » Time Window Temporal Logic |
72
Voted
KI
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
TIME
2008
IEEE
15 years 3 months ago
2008
IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
92
Voted
RSCTC
2000
Springer
15 years 1 months ago
2000
Springer
In the paper we investigate the problem of analysis of time related information systems. We introduce notion of temporal templates, i.e. homogeneous patterns occurring in some peri...
TIME
2006
IEEE
15 years 3 months ago
2006
IEEE
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
