Experiences with BDI-based design and implementation of Intelligent Pedagogical Agents | IEEE Conference Publication | IEEE Xplore