Keyphrases
- pac learning
- higher order logic
- target concept
- uniform distribution
- higher order
- learning theory
- sample size
- learning problems
- sample complexity
- concept classes
- theorem prover
- conditional logic
- membership queries
- boolean functions
- logical framework
- statistical queries
- data sets
- pac learnable
- vc dimension
- theoretical analysis
- supervised learning
- special case
- pairwise