The pedagogical model of SIAL: an adaptive and open-ended intelligent tutoring system for first order logic.

Jos Alberto Maestro-Prieto, Arancha Simn-Hurtado

Browse the full ITiCSE paper archive.