Constructing Infinitary Quotient-Inductive Types.

Marcelo Fiore Andrew M. Pitts S. C. Steenkamp

Published in: CoRR (2019)

Keyphrases

inductive learning
artificial intelligence
inductive reasoning
real time
information systems
decision trees
data structure
multi agent systems
preprocessing
data model
control system
inductive logic programming
rule learning