Investigating Reasoning with Constraint Diagrams.
Andrew FishJean FlowerPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- knowledge base
- knowledge representation
- reasoning systems
- graphical representation
- qualitative reasoning
- automated reasoning
- knowledge representation and reasoning
- reasoning tasks
- linear constraints
- spatial reasoning
- meta level
- database
- reasoning process
- uml class diagrams
- diagrammatic reasoning
- global constraints
- case study
- analogical reasoning
- resource bounded
- hand drawn