Signatures and Induction Principles for Higher Inductive-Inductive Types.
Ambrus KaposiAndrás KovácsPublished in: Log. Methods Comput. Sci. (2020)
Keyphrases
- inductive learning
- inductive logic programming
- inductive concept learning
- inductive inference
- inductive reasoning
- functional programs
- machine learning
- concept learning
- constructive induction
- knowledge representation
- expert systems
- inductive bias
- deductive reasoning
- neural network
- multi agent systems
- feature construction