Discovering Unexpected Patterns in Temporal Data Using Temporal Logic.
Gideon BergerAlexander TuzhilinPublished in: Temporal Databases, Dagstuhl (1997)
Keyphrases
- temporal logic
- temporal data
- temporal patterns
- model checking
- temporal databases
- modal logic
- temporal relationships
- temporal information
- multivariate time series data
- climate data
- multivariate time series
- temporal knowledge
- spatial data
- mazurkiewicz traces
- complex patterns
- data streams
- belief revision
- pattern mining
- computation tree logic
- linear temporal logic
- machine learning
- formal specification language
- temporal data mining
- frequent patterns
- temporal sequences
- verification method
- pattern discovery
- search space
- association rule mining
- knowledge base
- automata theoretic