@misc{indiciae9aa5bd4e75f6, title = {Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing}, author = {Luiz Fernando Paulino Queiroz and Carlos Henrique Leitão Cavalcante and Thiago Alves Rocha}, year = {2026}, doi = {10.1007/978-3-032-15984-7\_33}, url = {https://arxiv.org/abs/2602.22115}, note = {Source identifier: 2602.22115} }