Integration of Reasoning and Algebraic Calculus in Geometry.
Stéphane FèvrePublished in: Automated Deduction in Geometry (1996)
Keyphrases
- algebraic structure
- qualitative spatial
- computer algebra
- data integration
- knowledge processing
- knowledge base
- reasoning process
- computational properties
- proof procedure
- knowledge representation
- model based reasoning
- qualitative spatial reasoning
- qualitative reasoning
- consistency checking
- neural network
- legal reasoning