18 citations · 19 across the 4 of their papers we have counts for
1 paper · 1 filter
Jieying Chen, Yue Ma, Rafael Peñaloza +1
We present new algorithm for computing the union and intersection of all justifications for a given ontological consequence without first computing the set of all justifications. T…