On principles between ∑1- and ∑2-induction, and monotone enumerations.

Alexander P. Kreuzer Keita Yokoyama

Published in: J. Math. Log. (2016)

Keyphrases

inductive learning
concept learning
design principles
real time
machine learning
web services
similarity measure
support vector
multi agent systems
boolean functions
inductive inference
constructive induction
program synthesis