Keyphrases
- qualitative reasoning
- order of magnitude reasoning
- qualitative models
- qualitative simulation
- qualitative physics
- causal reasoning
- qualitative information
- qualitative spatial reasoning
- knowledge base
- uncertain knowledge
- cardinal directions
- human reasoning
- reasoning systems
- qualitative spatial
- probabilistic reasoning
- qualitative and quantitative
- automated reasoning
- reasoning process
- graphical representation
- quantitative and qualitative
- mathematical proofs
- reasoning tasks
- spatial reasoning
- knowledge processing
- neural network
- computer algebra
- qualitative knowledge
- spatial representation and reasoning
- rule based reasoning
- quantitative data
- uncertain information
- possibility theory
- model based diagnosis
- theorem proving
- dynamic systems
- belief revision
- knowledge representation