Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type.

Thorsten Altenkirch Nils Anders Danielsson Nicolai Kraus

Published in: CoRR (2016)

Keyphrases

inductive learning
machine learning
knowledge representation
inductive reasoning
inductive logic programming
concept learning
rule learning
neural network
multimedia
machine intelligence
inductive concept learning