Classical System of Martin-Löf's Inductive Definitions Is Not Equivalent to Cyclic Proof System.

Stefano Berardi Makoto Tatsuta

Published in: FoSSaCS (2017)

Keyphrases

machine learning
inductive learning
classical methods
data sets
fixed point semantics
real time
decision trees
bayesian networks
multiscale
expert systems
evolutionary algorithm
concept learning
functional programs