Builtin Types viewed as Inductive Families.

Guillaume Allais

Published in: CoRR (2023)

Keyphrases

data sets
inductive learning
inductive reasoning
database
image processing
bayesian networks
cooperative
information retrieval
artificial intelligence
image sequences
similarity measure
data analysis
expert systems