Past-present temporal programs over finite traces: a preliminary report.
Pedro CabalarMartín DiéguezFrançois LaferrièreTorsten SchaubPublished in: ICLP Workshops (2023)
Keyphrases
- spatio temporal
- spatial and temporal
- temporal constraints
- computer programs
- linear temporal logic
- time stamped
- temporal information
- case study
- temporal relationships
- intermediate level
- temporal evolution
- temporal relations
- temporal databases
- finite number
- temporal reasoning
- answer sets
- space time
- video data
- data streams
- real world