Large and Infinitary Quotient Inductive-Inductive Types.
András KovácsAmbrus KaposiPublished in: LICS (2020)
Keyphrases
- inductive learning
- inductive logic programming
- inductive reasoning
- concept learning
- real time
- inductive concept learning
- rule learning
- inductive inference
- knowledge representation
- database
- social networks
- computer vision
- functional programs
- data sets
- data mining
- machine intelligence
- genetic algorithm
- search engine
- multimedia
- knowledge acquisition
- e learning
- special case
- video sequences
- image segmentation
- case study
- website