Signatures and Induction Principles for Higher Inductive-Inductive Types.
Ambrus KaposiAndrás KovácsPublished in: CoRR (2019)
Keyphrases
- inductive learning
- functional programs
- inductive inference
- inductive concept learning
- inductive reasoning
- inductive logic programming
- machine learning
- concept learning
- constructive induction
- knowledge representation
- knowledge acquisition
- domain knowledge
- neural network
- higher quality
- logic programs
- explanation based learning
- program synthesis