AFP Algorithm and a Canonical Normal Form for Horn Formulas

Preprint English OPEN
Majdoddin, Ruhollah;
(2014)
  • Subject: 68Q32, 68T27 | Computer Science - Learning
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
    arxiv: Quantitative Biology::Quantitative Methods

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
Share - Bookmark