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. A Logic Programming Language Designed for the Modeling of Abductive Reasoning in an Educational Context. In Grigori Sidorov, Oscar Herrera-Alcántara, Sabino Miranda-Jiménez, Obdulia Pichardo-Lagunas, editors, Fifteenth Mexican International Conference on Artificial Intelligence, MICAI 2016 Special Session, Cancun, Mexico, October 23-29, 2016. pages 99-105, IEEE Computer Society, 2016. [doi]

Abstract

Abstract is missing.