procedural knowledge

Knowledge tracing: Modeling the acquisition of procedural knowledge

Albert T. Corbett, John R. Anderson

User Modeling and User-Adapted Interaction

The classic student-modelling paper behind Bayesian knowledge tracing and mastery estimation in intelligent tutoring systems.