Anahí Coimbra Maciel and Denis Deratani Mauá. 2026. Explanation-based Approximate Inference in Stratified Probabilistic Logic Programs. In Anais do XXIII Encontro Nacional de Inteligência Artificial e Computacional, outubro 19, 2026, Cuiabá/MT, Brasil. SBC, Porto Alegre, Brasil, 2277-2288. DOI: https://doi.org/10.5753/eniac.2026.31568.