activity
20112018
most citedProbably approximately correct learning of Horn envelopes from queries

15 citations · 35 across the 7 of their papers we have counts for

collaborators
Showing 2011 · math.RAShow all

1 paper · 2 filters

math.RA2011★ 7 cited

A Generalized Next-Closure Algorithm -- Enumerating Semilattice Elements from a Generating Set

Daniel Borchmann

We present a generalization of the well known Next-Closure algorithm working on semilattices. We prove the correctness of the algorithm and apply it on the computation of the inten…