Constructing Inductive-Inductive Types in Cubical Type Theory.

Published in: FoSSaCS (2019)

Keyphrases

inductive learning
deductive reasoning
theoretical framework
rule learning
data sets
knowledge representation
inductive logic programming
machine learning
theoretical basis
inductive inference
formal theory
inductive reasoning
database
real time
topology preserving