Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations

Joachim Biskup, Marcel Preuß. Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations. Annals of Mathematics and Artificial Intelligence, 87(1-2):43-82, 2019. [doi]

Abstract

Abstract is missing.