Constructor-Based Inductive Theorem Prover.
Daniel GâinâMin ZhangYuki ChibaYasuhito ArimotoPublished in: CALCO (2013)
Keyphrases
- theorem prover
- first order logic
- theorem proving
- automated reasoning
- inference rules
- automated theorem proving
- inductive learning
- automated deduction
- term rewriting
- inductive logic programming
- computer algebra
- formal proof
- machine learning
- mathematical knowledge
- inductive inference
- proof search
- timed automata
- formal semantics
- higher order logic
- functional programs
- proof planning
- knowledge base