Smart immersive education for smart cities: With support via intelligent pedagogical agents | IEEE Conference Publication | IEEE Xplore