Emulating Human Supervision in an Intelligent Tutoring System for Arithmetical Problem Solving | IEEE Journals & Magazine | IEEE Xplore