collaborators

1 paper

cs.LO2021

Union and Intersection of all Justifications

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…