Interpolating Strong Induction.
Hari Govind V. K.Yakir VizelVijay GaneshArie GurfinkelPublished in: CoRR (2019)
Keyphrases
- databases
- database
- database systems
- machine learning
- program synthesis
- constructive induction
- digital libraries
- explanation based learning
- inductive reasoning
- version space
- subgroup discovery
- concept learning
- inductive learning
- digital camera
- inductive logic programming
- expert systems
- multiscale
- decision trees
- neural network