Discovering inductive theorems using rewriting induction.
Haruhiko SatoMasahito KuriharaPublished in: SMC (2016)
Keyphrases
- inductive learning
- inductive concept learning
- inductive inference
- inductive logic programming
- functional programs
- inductive reasoning
- constructive induction
- machine learning
- subgroup discovery
- concept learning
- rule learning
- discovery process
- databases
- query rewriting
- version spaces
- rule induction
- rewriting rules
- program synthesis
- data mining
- relational learning
- proof search
- rewrite rules
- knowledge acquisition
- concept formation
- version space
- logic programs
- conjunctive queries
- decision trees
- rewriting systems
- queries using views
- theorem prover