A Logic Programming Language Designed for the Modeling of Abductive Reasoning in an Educational Context. - Osvaldo Luiz De Oliveira; Carlos Eduardo Andrade Oliveira; Ricardo Jose Martins; Marcio Matsumoto (MICAI (Special Session), 2016)

A Framework for Abductive Computational Modeling. - Osvaldo Luiz De Oliveira; Ricardo Jose Martins; Marcio Matsumoto (FIE, 2018)