research
∙
07/16/2018
Probably approximately correct learning of Horn envelopes from queries
We propose an algorithm for learning the Horn envelope of an arbitrary d...
research
∙
01/04/2017
On the Usability of Probably Approximately Correct Implication Bases
We revisit the notion of probably approximately correct implication base...
research
∙
11/19/2015