1283 search results - page 3 / 257 » A Survey on Temporal Logics |
FORMATS
2008
Springer
14 years 12 days ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
TIME
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper describes an annotation guideline for a temporal relation-tagged corpus of Chinese. Our goal is construction of corpora to be used for a corpus-based analysis of tempor...
CSL
2006
Springer
13 years 11 months ago
2006
Springer
In a data word or a data tree each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been considered in the realm of sem...
BIRTHDAY
2008
Springer
14 years 26 days ago
2008
Springer
Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a...
ICTL
1994
14 years 2 months ago
1994
This paper presents a temporal belief logic called