Gleaner: Creating ensembles of first-order clauses to improve recall-precision curves

From MaRDI portal
Publication:2433187