Journal of Computer and System Sciences · 1995 · 36 citations · 11 references
ComputingComputer ScienceMathematicsAlgorithmsLogicMachine LearningAutomated ReasoningBoolean AlgebraBoolean OperationsDeductive ReasoningFirst-order LogicPredicate LogicBoolean Function RepresentationBoolean Lattices
11
Learning regular sets from queries and counterexamples
Dana Angluin · Information and Computation · 1987 · 2.1K citations
Learning read-once formulas with queries
Dana Angluin, Lisa Hellerstein, Marek Karpiński · Journal of the ACM · 1993 · 201 citations · Full text
When won't membership queries help?
Dana Angluin, Michael Kharitonov · 1991 · 196 citations · Full text
Fast learning of <i>k</i>-term DNF formulas with queries
Avrim Blum, Steven Rudich · 1992 · 62 citations · Full text