Login / Signup
Quotient inductive-inductive types.
Thorsten Altenkirch
Paolo Capriotti
Gabe Dijkstra
Fredrik Nordvall Forsberg
Published in:
CoRR (2016)
Keyphrases
</>
inductive learning
inductive inference
machine learning
inductive logic programming
learning algorithm
case study
knowledge acquisition
databases
information retrieval
genetic algorithm
computer vision
digital libraries
multiresolution
concept learning
inductive reasoning