Logic of temporal attribute implications.
Jan TriskaVilém VychodilPublished in: Ann. Math. Artif. Intell. (2017)
Keyphrases
- linear temporal logic
- spatio temporal
- temporal consistency
- temporal information
- attribute values
- spatial and temporal
- temporal databases
- temporal data
- temporal constraints
- multi valued
- automated reasoning
- modal logic
- database
- temporal reasoning
- temporal logic
- classical logic
- temporal evolution
- set theory
- temporal dimension
- database systems
- data mining