Plane Euclidian Reasoning.
Desmond Fearnley-SanderPublished in: Automated Deduction in Geometry (1998)
Keyphrases
- reasoning process
- knowledge base
- model based reasoning
- knowledge representation
- three dimensional
- resource bounded
- automated reasoning
- reasoning systems
- computational properties
- video sequences
- logical reasoning
- reasoning mechanism
- analogical reasoning
- logical framework
- default reasoning
- information retrieval
- reasoning tasks
- knowledge representation and reasoning
- qualitative reasoning
- logic programming
- knowledge based systems
- reasoning engine
- description logics
- deductive reasoning