A Note on Induction, Abstraction, and Dedekind-Finiteness.
Gian Aldo AntonelliPublished in: Notre Dame J. Formal Log. (2012)
Keyphrases
- inductive learning
- constructive induction
- high level
- program synthesis
- artificial intelligence
- inductive logic programming
- machine learning
- logic programming
- multi agent
- e learning
- concept learning
- explanation based learning
- rule induction
- feature selection
- data abstraction
- functional programs
- oblique decision trees