MACIEL, Anahí Coimbra; MAUÁ, Denis Deratani. Explanation-based Approximate Inference in Stratified Probabilistic Logic Programs. In: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 23. , 2026, Cuiabá/MT. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2026 . p. 2277-2288. ISSN 2763-9061. DOI: https://doi.org/10.5753/eniac.2026.31568.