Temporal Landscapes: A Graphical Logic of Behavior.
Brendan FongAlberto SperanzonDavid I. SpivakPublished in: ACT (2021)
Keyphrases
- temporal behavior
- temporal information
- linear temporal logic
- spatio temporal
- logic programming
- spatial and temporal
- temporal constraints
- sound and complete axiomatization
- database
- behavior patterns
- temporal dimension
- temporal data
- temporal relations
- defeasible logic
- temporal reasoning
- temporal analysis
- video data
- temporal knowledge
- website
- genetic algorithm
- real time