Exact Learning: On the Boundary between Horn and CNF.
Montserrat HermoAna OzakiPublished in: ACM Trans. Comput. Theory (2020)
Keyphrases
- exact learning
- horn theories
- membership queries
- boolean functions
- knowledge compilation
- tree patterns
- functional dependencies
- np hard
- learning theory
- concept class
- equivalence queries
- query complexity
- pac learning
- efficient learning
- uniform distribution
- membership and equivalence queries
- model selection
- version space
- logic programs
- dnf formulas
- learning algorithm