A formal model of emotional pedagogical agents in intelligent tutoring systems | IEEE Conference Publication | IEEE Xplore