Peirce: an Algorithm for Abductive Reasoning Operating with a Quaternary Reasoning Framework. - Felipe Rodrigues; Carlos Eduardo A. Oliveira; Osvaldo Luiz De Oliveira (Res. Comput. Sci., 2014)

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)