Keyphrases
- geometry theorem proving
- theorem proving
- visual features
- low level
- knowledge base
- qualitative reasoning
- visual information
- automated reasoning
- neural network
- probabilistic reasoning
- deductive reasoning
- reasoning mechanisms
- model based reasoning
- reasoning systems
- human vision
- visual perception
- logic programs
- mobile robot
- expert systems
- computer vision