ACT-R: a theory of higher level cognition and its relation to visual attention
Cognitive Tutors: Lessons Learned