Quotients, inductive types, and quotient inductive types.

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

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

real time
machine learning
artificial intelligence
search algorithm
inductive learning
database
genetic algorithm
information systems
knowledge base
knowledge acquisition
inductive reasoning