Metric Temporal Equilibrium Logic over Timed Traces.
Arvid BeckerPedro CabalarMartín DiéguezTorsten SchaubAnna SchuhmannPublished in: CoRR (2023)
Keyphrases
- spatio temporal
- petri net
- temporal information
- temporal reasoning
- spatial and temporal
- similarity metric
- temporal constraints
- space time
- markov chain
- metric space
- temporal evolution
- temporal relations
- temporal patterns
- temporal relationships
- temporal consistency
- timed automata
- information content
- temporal databases
- evaluation metrics
- database
- data streams
- neural network
- databases