Generating induction principles and subterm relations for inductive types using MetaCoq.
Bohdan LiesnikovMarcel UllrichYannick ForsterPublished in: CoRR (2020)
Keyphrases
- inductive learning
- inductive reasoning
- inductive logic programming
- concept learning
- constructive induction
- machine learning
- background knowledge
- inductive concept learning
- inductive inference
- databases
- functional programs
- real time
- knowledge acquisition
- multiscale
- information retrieval
- subgroup discovery
- neural network