A First-Order Interval Temporal Logic for Adjacent Variables Temporal Data.
Guido SciaviccoPublished in: OVERLAY@AI*IA (2023)
Keyphrases
- temporal data
- temporal logic
- linear temporal logic
- mazurkiewicz traces
- model checking
- temporal databases
- logical formulas
- temporal information
- modal logic
- satisfiability problem
- spatial data
- temporal patterns
- bounded model checking
- computation tree logic
- temporal relationships
- data streams
- multivariate time series
- temporal dimension
- reactive systems
- verification method
- transition systems
- formal specification language
- relational databases
- domain specific
- first order logic
- belief revision