Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed.
Robert EnnalsPublished in: ICFP (1998)
Keyphrases
- temporal knowledge
- temporal information
- temporal reasoning
- spatio temporal
- temporal data
- temporal resolution
- consistency checking
- reasoning systems
- reasoning process
- spatial and temporal
- linear temporal logic
- reasoning tasks
- temporal constraints
- automated reasoning
- knowledge base
- high speed
- database
- temporal planning
- real time
- temporal consistency
- temporal analysis
- temporal dimension
- knowledge representation
- description logics
- expert systems
- processing speed
- spatial reasoning
- space time
- temporal logic