For Finitary Induction-Induction, Induction Is Enough.
Ambrus KaposiAndrás KovácsAmbroise LafontPublished in: TYPES (2019)
Keyphrases
- inductive learning
- inductive logic programming
- inductive reasoning
- inductive inference
- machine learning
- evolutionary algorithm
- program synthesis
- explanation based learning
- constructive induction
- subgroup discovery
- sequence prediction
- neural network
- induction algorithms
- rule induction
- finite state
- artificial intelligence
- data mining