Learning Habits Mining and Data-driven Support of Building Habits in Education. ICCE. Published online December 4, 2023. doi:10.58459/icce.2023.4783