Pure-Past Linear Temporal and Dynamic Logic on Finite Traces.
Giuseppe De GiacomoAntonio Di StasioFrancesco FuggittiSasha RubinPublished in: IJCAI (2020)
Keyphrases
- dynamic logic
- modal logic
- imperative programs
- temporal constraints
- linear temporal logic
- spatio temporal
- spatial and temporal
- reasoning about actions
- temporal information
- temporal logic
- temporal reasoning
- propositional dynamic logic
- temporal data
- totally ordered
- agent programming
- temporal databases
- multiple input
- temporal patterns
- temporal dimension
- piecewise linear
- real world
- finite number
- space time
- object oriented
- expert systems
- high level