{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T16:17:54Z","timestamp":1754151474107,"version":"3.41.2"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031984648","type":"print"},{"value":"9783031984655","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-98465-5_54","type":"book-chapter","created":{"date-parts":[[2025,7,19]],"date-time":"2025-07-19T01:47:08Z","timestamp":1752889628000},"page":"430-436","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Combining Model Tracing and Constraint-Based Modeling for Multistep Strategy Diagnoses"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-0932-3065","authenticated-orcid":false,"given":"Gerben","family":"van der Hoek","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5645-7681","authenticated-orcid":false,"given":"Johan","family":"Jeuring","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2017-9792","authenticated-orcid":false,"given":"Rogier","family":"Bos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,7,20]]},"reference":[{"key":"54_CR1","doi-asserted-by":"publisher","unstructured":"Anderson, J.R., Boyle, C.F., Corbett, A.T., Lewis, M.W.: Cognitive modeling and intelligent tutoring (1990). https:\/\/doi.org\/10.7551\/mitpress\/1167.003.0002","DOI":"10.7551\/mitpress\/1167.003.0002"},{"issue":"2","key":"54_CR2","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1207\/s15327809jls0402_2","volume":"4","author":"JR Anderson","year":"1995","unstructured":"Anderson, J.R., Corbett, A.T., Koedinger, K.R., Pelletier, R.: Cognitive tutors: lessons learned. J. Learn. Sci. 4(2), 167\u2013207 (1995). https:\/\/doi.org\/10.1207\/s15327809jls0402_2","journal-title":"J. Learn. Sci."},{"key":"54_CR3","unstructured":"Baral, S., et al.: Automated feedback in math education: a comparative analysis of LLMs for open-ended responses. ArXiv Preprint arXiv:2411.08910"},{"issue":"3","key":"54_CR4","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1564\/tme_v24.3.01","volume":"24","author":"C Bokhove","year":"2017","unstructured":"Bokhove, C.: Using technology for digital mathematics textbooks: more than the sum of the parts. Int. J. Technol. Math. Educ. 24(3), 107\u2013114 (2017). https:\/\/doi.org\/10.1564\/tme_v24.3.01","journal-title":"Int. J. Technol. Math. Educ."},{"key":"54_CR5","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s10758-012-9191-8","volume":"17","author":"C Bokhove","year":"2012","unstructured":"Bokhove, C., Drijvers, P.: Effects of feedback in an online algebra intervention. Technol. Knowl. Learn. 17, 43\u201359 (2012). https:\/\/doi.org\/10.1007\/s10758-012-9191-8","journal-title":"Technol. Knowl. Learn."},{"issue":"1","key":"54_CR6","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s40593-015-0080-x","volume":"27","author":"A Gerdes","year":"2017","unstructured":"Gerdes, A., Heeren, B., Jeuring, J., van Binsbergen, L.T.: Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback. Int. J. Artif. Intell. Educ. 27(1), 65\u2013100 (2017). https:\/\/doi.org\/10.1007\/s40593-015-0080-x","journal-title":"Int. J. Artif. Intell. Educ."},{"key":"54_CR7","doi-asserted-by":"publisher","unstructured":"Gerdes, A., Jeuring, J., Heeren, B.: An interactive functional programming tutor. In: Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE (2012). https:\/\/doi.org\/10.1145\/2325296.2325356","DOI":"10.1145\/2325296.2325356"},{"key":"54_CR8","doi-asserted-by":"publisher","unstructured":"Heeren, B., Jeuring, J.: Canonical forms in interactive exercise assistants. In: International Conference on Intelligent Computer Mathematics, pp. 325\u2013340 (2009). https:\/\/doi.org\/10.1007\/978-3-642-02614-0_27","DOI":"10.1007\/978-3-642-02614-0_27"},{"key":"54_CR9","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.scico.2014.02.021","volume":"88","author":"B Heeren","year":"2014","unstructured":"Heeren, B., Jeuring, J.: Feedback services for stepwise exercises. Sci. Comput. Program. 88, 110\u2013129 (2014). https:\/\/doi.org\/10.1016\/j.scico.2014.02.021","journal-title":"Sci. Comput. Program."},{"key":"54_CR10","doi-asserted-by":"publisher","unstructured":"Heeren, B., Jeuring, J.: An extensible domain-specific language for describing problem-solving procedures. In: Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, 28 June\u20131 July 2017, Proceedings, vol. 18, pp. 77\u201389 (2017). https:\/\/doi.org\/10.1007\/978-3-319-61425-0_7","DOI":"10.1007\/978-3-319-61425-0_7"},{"key":"54_CR11","unstructured":"Heeren, B., Jeuring, J.: Automated feedback for mathematical learning environments. Universit\u00e4t Duisburg-Essen (2020)"},{"key":"54_CR12","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-642-02614-0_27","volume":"3","author":"B Heeren","year":"2010","unstructured":"Heeren, B., Jeuring, J., Gerdes, A.: Specifying rewrite strategies for interactive exercises. Math. Comput. Sci. 3, 349\u2013370 (2010). https:\/\/doi.org\/10.1007\/978-3-642-02614-0_27","journal-title":"Math. Comput. Sci."},{"issue":"1","key":"54_CR13","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1080\/02188791.2023.2286920","volume":"44","author":"J Jia","year":"2024","unstructured":"Jia, J., Wang, T., Zhang, Y., Wang, G.: The comparison of general tips for mathematical problem solving generated by generative AI with those generated by human teachers. Asia Pac. J. Educ. 44(1), 8\u201328 (2024). https:\/\/doi.org\/10.1080\/02188791.2023.2286920","journal-title":"Asia Pac. J. Educ."},{"key":"54_CR14","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s11257-011-9105-9","volume":"22","author":"A Mitrovic","year":"2012","unstructured":"Mitrovic, A.: Fifteen years of constraint-based tutors: what we have achieved and where we are going. User Model. User-Adap. Inter. 22, 39\u201372 (2012). https:\/\/doi.org\/10.1007\/s11257-011-9105-9","journal-title":"User Model. User-Adap. Inter."},{"key":"54_CR15","doi-asserted-by":"publisher","unstructured":"Mitrovic, A., Koedinger, K.R., Martin, B.: A comparative analysis of cognitive tutoring and constraint-based modeling. In: International Conference on User Modeling, pp. 313\u2013322 (2003). https:\/\/doi.org\/10.1007\/3-540-44963-9_42","DOI":"10.1007\/3-540-44963-9_42"},{"key":"54_CR16","unstructured":"Ohlsson, S., Mitrovic, A.: Fidelity and efficiency of knowledge representations for intelligent tutoring systems. Technol. Instr. Cogn. Learn. 5(2) (2007)"},{"key":"54_CR17","doi-asserted-by":"publisher","unstructured":"Roll, I., Aleven, V., Koedinger, K.R.: The invention lab: using a hybrid of model tracing and constraint-based modeling to offer intelligent support in inquiry environments. In: Intelligent Tutoring Systems: 10th International Conference, ITS 2010, Pittsburgh, PA, USA, 14\u201318, 2010, Proceedings, Part I, vol. 10, pp. 115\u2013124 (2010). https:\/\/doi.org\/10.1007\/978-3-642-13388-6_16","DOI":"10.1007\/978-3-642-13388-6_16"},{"key":"54_CR18","doi-asserted-by":"publisher","unstructured":"Sangwin, C.: Computer Aided Assessment of Mathematics. OUP Oxford (2013). https:\/\/doi.org\/10.1093\/acprof:oso\/9780199660353.001.0001","DOI":"10.1093\/acprof:oso\/9780199660353.001.0001"},{"key":"54_CR19","doi-asserted-by":"publisher","unstructured":"Sangwin, C.: Computer aided assessment of mathematics using STACK. In: Selected Regular Lectures from the 12th International Congress on Mathematical Education, pp. 695\u2013713 (2015). https:\/\/doi.org\/10.1007\/978-3-319-17187-6_39","DOI":"10.1007\/978-3-319-17187-6_39"},{"issue":"4","key":"54_CR20","doi-asserted-by":"publisher","first-page":"616","DOI":"10.1007\/s40593-020-00218-y","volume":"30","author":"S Tacoma","year":"2020","unstructured":"Tacoma, S., Heeren, B., Jeuring, J., Drijvers, P.: Intelligent feedback on hypothesis testing. Int. J. Artif. Intell. Educ. 30(4), 616\u2013636 (2020). https:\/\/doi.org\/10.1007\/s40593-020-00218-y","journal-title":"Int. J. Artif. Intell. Educ."},{"key":"54_CR21","unstructured":"Van der Hoek, G., Heeren, B., Bos, R., Drijvers, P., Jeuring, J.: Students\u2019 experiences with automated final answer diagnoses for mathematics tasks. In: Iaonnone, P., et al. (eds.) FAME 1 \u2013 Feedback & Assessment in Mathematics Education (ETC 14), pp. 293\u2013301. Utrecht University and ERME (2024)"},{"key":"54_CR22","doi-asserted-by":"publisher","unstructured":"Willsey, M., Nandi, C., Wang, Y.R., Flatt, O., Tatlock, Z., Panchekha, P.: EGG: fast and extensible equality saturation. Proc. ACM Programm. Lang. 5(POPL), 1\u201329 (2021). https:\/\/doi.org\/10.1145\/3434304","DOI":"10.1145\/3434304"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence in Education"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-98465-5_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,19]],"date-time":"2025-07-19T01:47:09Z","timestamp":1752889629000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-98465-5_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031984648","9783031984655"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-98465-5_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"20 July 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AIED","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Artificial Intelligence in Education","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Palermo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aied2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/aied2025.itd.cnr.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}