Past-present temporal programs over finite traces.
Pedro CabalarMartín DiéguezFrançois LaferrièreTorsten SchaubPublished in: CoRR (2023)
Keyphrases
- spatio temporal
- temporal data
- spatial and temporal
- temporal information
- finite number
- computer programs
- temporal patterns
- finite automata
- temporal reasoning
- temporal constraints
- temporal evolution
- linear temporal logic
- temporal aspects
- temporal analysis
- intermediate level
- programming environment
- social networks
- temporal dimension
- time stamped
- learning algorithm
- automatic programming
- data mining
- neural network