Probably approximately correct learning of Horn envelopes from queries

Open in new window