Valiant-Vazirani Lemmata for Various Logics.
Moritz MüllerPublished in: Electron. Colloquium Comput. Complex. (2008)
Keyphrases
- expressive power
- modal logic
- learning theory
- boolean functions
- computational learning theory
- propositional calculus
- proof theory
- pac learning
- concept classes
- computational properties
- blocks world
- inference rules
- positive examples
- default logic
- epistemic logic
- database
- concept learning
- theoretical analysis
- training set
- objective function