Modular Reasoning in an Object-Oriented Refinement Calculus.
Mark UttingKen RobinsonPublished in: MPC (1992)
Keyphrases
- object oriented
- computational properties
- knowledge base
- qualitative spatial reasoning
- spatial reasoning
- proof procedure
- derivation rules
- knowledge representation
- reasoning process
- reasoning systems
- fuzzy reasoning
- data sets
- uncertain information
- qualitative reasoning
- meta level
- consistency checking
- domain knowledge
- user interface
- deductive reasoning
- qualitative spatial
- search engine