Designing an Intelligent Tutoring System (ITS) usually requires precise models of the underlying domain, as well as of how a human tutor would respond to student mistakes. As such, the applicability of ITSs is typically restricted to welldefined domains where such a formalization is possible. The extension of ITSs to ...