Four Faces of HAL: A Framework for Using Artificial Intelligence Techniques in Computer-Assisted Instruction | IEEE Journals & Magazine | IEEE Xplore