Keyphrases
- spatial reasoning
- region connection calculus
- topological relations
- relation algebra
- topological relationships
- intelligent tutoring systems
- tutoring system
- student model
- maximal tractable
- student modeling
- spatial regions
- constraint networks
- interval algebra
- spatial relations
- spatial information
- bounded treewidth
- point algebra
- neural network
- qualitative spatial reasoning
- cardinal directions
- consistency checking
- spatial objects
- expressive power
- databases
- spatial representation and reasoning