Learnability of Quantified Formulas.

Víctor Dalmau Peter Jeavons

Published in: EuroCOLT (1999)

Keyphrases

learning algorithm
finite automata
inductive inference
uniform convergence
boolean functions
inductive logic programming
pac learning
mathematical formulas
uniform distribution
membership queries
pattern languages
pac learnability
decision trees
active learning