Past-Present Temporal Programs over Finite Traces.
Pedro CabalarMartín DiéguezFrançois LaferrièreTorsten SchaubPublished in: JELIA (2023)
Keyphrases
- temporal data
- spatial and temporal
- temporal constraints
- linear temporal logic
- temporal information
- temporal databases
- spatio temporal
- temporal reasoning
- unit length
- programming environment
- temporal patterns
- finite number
- e learning
- information systems
- temporal evolution
- temporal correlation
- intermediate level
- historical information
- provably correct
- data mining
- totally ordered
- neural network