Domain-specific knowledge representation and inference engine for an intelligent tutoring system | Publicación