Large and Infinitary Quotient Inductive-Inductive Types.
András KovácsAmbrus KaposiPublished in: CoRR (2020)
Keyphrases
- inductive learning
- machine learning
- inductive logic programming
- inductive reasoning
- knowledge representation
- inductive inference
- data structure
- inductive concept learning
- functional programs
- domain knowledge
- reinforcement learning
- image processing
- lower bound
- concept learning
- machine intelligence
- rule learning
- search engine
- genetic algorithm