Exact Learning: On the Boundary between Horn and CNF.

Montserrat Hermo Ana Ozaki

Published 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