Learning definite Horn formulas from closure queries

Marta Arias, José L. Balcázar, Cristina Tîrnauca. Learning definite Horn formulas from closure queries. Theoretical Computer Science, 658:346-356, 2017. [doi]

Abstract

Abstract is missing.