Belkacem, A.; Houhamdi, Z. Formal Approach to Data Accuracy Evaluation. IJCAI 2022, 46.