TY - RPRT TI - Logic-based Explanations for Linear Support Vector Classifiers with Reject Option AU - Francisco Mateus Rocha Filho AU - Thiago Alves Rocha AU - Reginaldo Pereira Fernandes Ribeiro AU - Ajalmar RĂªgo da Rocha Neto PY - 2024 DO - 10.1007/978-3-031-45368-7_10 UR - https://arxiv.org/abs/2403.16190 ID - 2403.16190 ER -