Constructing Infinitary Quotient-Inductive Types.

Marcelo P. Fiore Andrew M. Pitts S. C. Steenkamp

Published in: FoSSaCS (2020)

Keyphrases

machine learning
knowledge representation
inductive learning
relational databases
information retrieval
artificial intelligence
clustering algorithm
case study
three dimensional
reinforcement learning
inductive concept learning