Exploiting parallelism: highly competitive semantic tree theorem prover.
Choon Kyu KimPublished in: Int. J. Comput. Math. (2004)
Keyphrases
- highly competitive
- theorem prover
- first order logic
- inference rules
- theorem proving
- automated reasoning
- term rewriting
- automated theorem proving
- formal proof
- computer algebra
- semantic information
- formal semantics
- natural deduction
- associative classification
- parallel processing
- index structure
- natural language
- boolean algebra
- propositional logic
- predicate calculus
- timed automata
- mathematical knowledge
- data mining
- proof search
- semantic network
- semi supervised
- decision trees