Automated prover for attribute dependencies in data with grades

Radim Belohlávek, Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil. Automated prover for attribute dependencies in data with grades. Int. J. Approx. Reasoning, 70:51-67, 2016. [doi]

Abstract

Abstract is missing.