Keyphrases
- qualitative spatial and temporal reasoning
- qualitative spatial
- qualitative spatial reasoning
- qualitative reasoning
- qualitative and quantitative
- formal specification
- interval algebra
- delay insensitive
- cardinal directions
- neural network
- qualitative information
- data sets
- formal theory
- constraint networks
- qualitative physics
- sequent calculi
- database
- qualitative simulation
- control flow