Explicit Reflection in Prolog-Tutor
Knowledge tracing: Modeling the acquisition of procedural knowledge