Efficient Algorithms for Qualitative Reasoning about Time.
Alfonso GereviniLenhart K. SchubertPublished in: Artif. Intell. (1995)
Keyphrases
- qualitative reasoning
- qualitative spatial
- qualitative simulation
- causal reasoning
- qualitative information
- qualitative spatial reasoning
- quantitative and qualitative
- spatial reasoning
- dynamic systems
- qualitative models
- reasoning about physical systems
- qualitative and quantitative
- spatial representation and reasoning
- formal theory
- order of magnitude reasoning
- learning environment
- numerical values
- website
- social networks
- search engine
- information retrieval
- databases