TY - RPRT TI - Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing AU - Luiz Fernando Paulino Queiroz AU - Carlos Henrique Leitão Cavalcante AU - Thiago Alves Rocha PY - 2026 DO - 10.1007/978-3-032-15984-7_33 UR - https://arxiv.org/abs/2602.22115 ID - 2602.22115 ER -