A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering.
Shang-Ching ChouXiao-Shan GaoJing-Zhong ZhangPublished in: J. Autom. Reason. (2000)
Keyphrases
- deductive databases
- geometry theorem proving
- integrity constraints
- logic programming
- disjunctive deductive databases
- query evaluation
- theorem proving
- integrity checking
- fixpoint
- semantic query optimization
- update propagation
- event calculus
- closed world assumption
- programming language
- expert systems
- artificial intelligence
- query language
- data mining
- stable models
- database systems