AFP Algorithm is a learning algorithm for Horn formulas. We show that it does not improve the complexity of AFP Algorithm, if after each negative counterexample more that just one refinements are performed. Moreover, a canonical normal form for Horn formulas is presente... View more
Marta Arias and José L Balcázar. Construction and learnability of canonical horn formulas. Machine Learning, 85(3):273-297, 2011.
[AFP92] Dana Angluin, Michael Frazier, and Leonard Pitt. Learning conjunctions of horn clauses. Machine Learning, 9(2-3):147-164, 1992.
[Bal05] Jose L Balcázar. Query learning of horn formulas revisited. Giulia Battilotti, Paola Zizzi Logical Characterizations of PK and NPK over an Arbitrary Structure K. 30 Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion Fuzzy Interval-valued Processes Algebra............................. 44, page 1, 2005.