Documents publiés en "2020"

Département de génie informatique et génie logiciel

Corbeil, J.-P., Gagnon, M., & Richard, P. R. (juin 2020). Probabilistic approaches to detect blocking states in intelligent tutoring system [Communication écrite]. 16th International Conference on Intelligent Tutoring Systems (ITS 2020), Athens, Greece. Lien externe

Font, L., Cyr, S., Richard, P. R., & Gagnon, M. (août 2019). Automating the generation of high school geometry proofs using Prolog in an educational context [Communication écrite]. 8th International Workshop on Theorem Proving Components for Educational Software, (ThEdu 2019), Natal, Brazil (16 pages). Lien externe