Course-of-Value Induction in Cedille.
Denis FirsovLarry DiehlChristopher JenkinsAaron StumpPublished in: CoRR (2018)
Keyphrases
- inductive learning
- program synthesis
- constructive induction
- oblique decision trees
- inductive reasoning
- concept formation
- subgroup discovery
- rule induction
- inductive logic programming
- explanation based learning
- inductive inference
- proof planning
- data sets
- data structure
- case study
- decision trees
- multimedia
- decision making
- machine learning