Logic-Based Explanations for Linear Support Vector Classifiers with Reject Option. - Francisco Mateus Rocha; Thiago Alves Rocha; Reginaldo Pereira Fernandes Ribeiro; Ajalmar Rêgo da Rocha Neto (BRACIS (1), 2023)

Generalizing logic-based explanations for machine learning classifiers via optimization. - Francisco Mateus Rocha Filho; Ajalmar Rêgo da Rocha Neto; Thiago Alves Rocha (Expert Syst. Appl., 2025)