Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving.
Stéphane FèvreDongming WangPublished in: AISC (1998)
Keyphrases
- term rewriting
- geometry theorem proving
- theorem proving
- theorem prover
- rewrite systems
- inference rules
- first order logic
- operational semantics
- knuth bendix
- databases
- neural network
- relational databases
- combining multiple
- higher order
- intelligent systems
- knowledge representation
- mobile robot
- xml documents
- cooperative
- reinforcement learning
- artificial intelligence
- database