Koike, K., Aburatani, T., Ashida A., Morita K., and Kunori K.: Towards a Schema-Centered Approach in Intelligent Tutoring Systems: Defining and Formalizing Computational Cognitive Schemas as Domain Models, Proc. of HCI International 2025, to-appear, (2025).