Learnability of quantified formulas.
Víctor DalmauPeter JeavonsPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- finite automata
- learning algorithm
- uniform convergence
- boolean functions
- membership queries
- vapnik chervonenkis dimension
- pattern languages
- inductive inference
- uniform distribution
- horn clauses
- sufficient conditions
- machine learning
- pac learning
- inductive logic programming
- dnf formulas
- supervised learning
- universally quantified