Keyphrases
- linear temporal logic
- temporal information
- temporal data
- temporal reasoning
- real time
- automated reasoning
- spatio temporal
- space time
- temporal dimension
- modal logic
- temporal databases
- neural network
- case study
- temporal analysis
- time stamped
- temporal evolution
- probabilistic logic
- temporal constraints
- spatial and temporal
- multi valued
- nonmonotonic logics
- learning algorithm
- data model
- asynchronous circuits
- proof theory
- similarity measure