AutoTutor: an intelligent tutoring system with mixed-initiative dialogue. - Graesser, Arthur C.; Chipman, Patrick; Haynes, Brian C.; Olney, Andrew (IEEE Trans. Educ., 2005)