Nkambou, R.; Brisson, J.; Tato, A.; Robert, S. Learning Logical Reasoning Using an Intelligent Tutoring System: A Hybrid Approach to Student Modeling. AAAI 2024, 37, 15930-15937.