Keyphrases
- program synthesis
- functional programs
- inductive learning
- proof search
- theorem proving
- inductive logic programming
- theorem prover
- constructive induction
- proof planning
- concept learning
- formal proofs
- oblique decision trees
- databases
- mathematical proofs
- equational theories
- expert systems
- bayesian networks
- machine learning