Learning Conjunctions of Horn Clauses

• 1 January 1992
• journal article
• Published by Springer Nature in Machine Learning
• Vol. 9  (2/3) , 147-164
• https://doi.org/10.1023/a:1022689015665

Abstract

Keywords

• ALGORITHM
• MEMBERSHIP
• DISJUNCTION
• POLYNOMIAL
• QUERIES
• CONJUNCTIONS
• HORN CLAUSES
• LITERALS