Applying flipped classroom and problem-based learning in a CS1 course. - Aracele Garcia de Oliveira Fassbinder; Tiago Goncalves Botelho; Ricardo Jose Martins; Ellen Francine Barbosa (FIE, 2015)

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)

Computational modeling of abductive reasoning: An experimental study employing the CHR language in an educational context. - Osvaldo Luiz De Oliveira; Ricardo Jose Martins (FIE, 2017)

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