Capturing Telic/Atelic Temporal Data Semantics: Generalizing Conventional Conceptual Models

Khatri, Vijay; Ram, Sudha; Snodgrass, Richard T.; Terenziani, Paolo

doi:10.1109/tkde.2012.74

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2014

2018

Publication Types

Select...

Book5

Other2

Relationship

Self Cite0

Independent7

Authors

Journals

Cited by 12 publications

(2 citation statements)

References 59 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is especially the case when dealing with telic statements and temporal aggregations and durations[4,19].…”

mentioning

confidence: 99%

Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation

Monica¹,

Montanari²,

Murano³

et al.

EPiC Series in Computing

View full text Add to dashboard Cite

Temporal dataset evaluation is the problem of establishing to what extent a set of temporal data (histories) complies with a given temporal condition. Checking interval temporal logic formulas against a finite model has been recently proposed, and proved successful, as a tool to solve such a problem. In this paper, we address the problem of checking interval temporal logic specifications, supporting interval length constraints, against infinite, finitely representable models, and we show the applicability of the resulting procedure to the evaluation of incomplete temporal datasets viewed as finite prefixes of ultimately-periodic histories.

show abstract

“…This is especially the case when dealing with telic statements and temporal aggregations and durations[4,19].…”

mentioning

confidence: 99%

Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation

Monica¹,

Montanari²,

Murano³

et al.

EPiC Series in Computing

View full text Add to dashboard Cite

show abstract

“…However, temporal logic (TL) have been employed in specifying safety properties in safety-critical systems due to its convenient vocabulary for expression of temporal specifications and behavior required of a system [123] [125] [126]. In order words, it allows for specification of sequence or relative order of events and therefore suitable for risk analysis, accident, and risk mitigation from temporal data [123] [127] [128] [129].…”

mentioning

confidence: 99%