Probabilistic abduction for PSAT - Arruda, Alexandre Matos; Finger, Marcelo (Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL), 2014)