Partiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type.
Thorsten AltenkirchNils Anders DanielssonNicolai KrausPublished in: FoSSaCS (2017)
Keyphrases
- inductive learning
- machine learning
- inductive logic programming
- inductive reasoning
- inductive inference
- functional programs
- knowledge representation
- knowledge acquisition
- inductive concept learning
- machine intelligence
- concept learning
- real time
- image processing
- computer vision
- artificial intelligence
- databases
- data sets