{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T15:14:29Z","timestamp":1779117269269,"version":"3.51.4"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030232030","type":"print"},{"value":"9783030232047","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-23204-7_32","type":"book-chapter","created":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T21:05:01Z","timestamp":1561064701000},"page":"383-395","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Automatic Generation of Problems and Explanations for an Intelligent Algebra Tutor"],"prefix":"10.1007","author":[{"given":"Eleanor","family":"O\u2019Rourke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Butler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armando","family":"D\u00edaz Tolentino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Popovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,21]]},"reference":[{"key":"32_CR1","unstructured":"Ahmed, U.Z., Gulwani, S., Karkare, A.: Automatically generating problems and solutions for natural deduction. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI 2013, pp. 1968\u20131975. AAAI Press (2013). http:\/\/dl.acm.org\/citation.cfm?id=2540128.2540411"},{"key":"32_CR2","doi-asserted-by":"publisher","unstructured":"Andersen, E., Gulwani, S., Popovi\u0107, Z.: A trace-based framework for analyzing and synthesizing educational progressions. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 2013, pp. 773\u2013782. ACM, New York (2013). https:\/\/doi.org\/10.1145\/2470654.2470764","DOI":"10.1145\/2470654.2470764"},{"issue":"2","key":"32_CR3","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)","journal-title":"J. Learn. Sci."},{"key":"32_CR4","unstructured":"Anderson, J.R., Pelletier, R.: A development system for model-tracing tutors. In: Proceedings of the International Conference of the Learning Sciences, pp. 1\u20138 (1991)"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"Butler, E., Andersen, E., Smith, A.M., Gulwani, S., Popovic, Z.: Automatic game progression design through analysis of solution features (2015)","DOI":"10.1145\/2702123.2702330"},{"key":"32_CR6","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1016\/B978-044481862-1.50103-5","volume-title":"Handbook of Human-Computer Interaction","author":"A Corbett","year":"1997","unstructured":"Corbett, A., Koedinger, K.R., Anderson, J.R.: Intelligent tutoring systems. In: Helander, M., Landauer, T.K., Prahu, P. (eds.) Handbook of Human-Computer Interaction, 2nd edn, pp. 849\u2013874. Elsevier Science, Amsterdam (1997)","edition":"2"},{"issue":"1\u20132","key":"32_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/B:TRUC.0000021810.70784.b0","volume":"32","author":"T van Gog","year":"2004","unstructured":"van Gog, T., Paas, F., van Merri\u00ebnboer, J.J.: Process-oriented worked examples: improving transfer performance through enhanced understanding. Instr. Sci. 32(1\u20132), 83\u201398 (2004). https:\/\/doi.org\/10.1023\/B:TRUC.0000021810.70784.b0","journal-title":"Instr. Sci."},{"issue":"4","key":"32_CR8","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/s40593-014-0024-x","volume":"24","author":"NT Heffernan","year":"2014","unstructured":"Heffernan, N.T., Heffernan, C.L.: The assistments ecosystem: building a platform that brings scientists and teachers together for minimally invasive research on human learning and teaching. Int. J. Artif. Intell. Educ. 24(4), 470\u2013497 (2014). https:\/\/doi.org\/10.1007\/s40593-014-0024-x","journal-title":"Int. J. Artif. Intell. Educ."},{"key":"32_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-30139-4_16","volume-title":"Intelligent Tutoring Systems","author":"KR Koedinger","year":"2004","unstructured":"Koedinger, K.R., Aleven, V., Heffernan, N., McLaren, B., Hockenberry, M.: Opening the door to non-programmers: authoring intelligent tutor behavior by demonstration. In: Lester, J.C., Vicari, R.M., Paragua\u00e7u, F. (eds.) ITS 2004. LNCS, vol. 3220, pp. 162\u2013174. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30139-4_16"},{"key":"32_CR10","first-page":"30","volume":"8","author":"KR Koedinger","year":"1997","unstructured":"Koedinger, K.R., Anderson, J.R., Hadley, W.H., Mark, M.A.: Intelligent tutoring goes to school in the big city. Int. J. Artif. Intell. Educ. 8, 30\u201343 (1997)","journal-title":"Int. J. Artif. Intell. Educ."},{"issue":"3","key":"32_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1609\/aimag.v34i3.2484","volume":"34","author":"KR Koedinger","year":"2013","unstructured":"Koedinger, K.R., Brunskill, E., de Baker, R.S.J., McLaughlin, E.A., Stamper, J.C.: New potentials for data-driven intelligent tutoring system development and optimization. AI Mag. 34(3), 27\u201341 (2013)","journal-title":"AI Mag."},{"key":"32_CR12","unstructured":"Koedinger, K.R., Heffernan, N.: Toward a rapid development environment for cognitive tutors. In: Proceedigns of the International Conference on Artificial Intelligence in Education, pp. 455\u2013457. IOS Press (2003)"},{"key":"32_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/3-540-47987-2_42","volume-title":"Intelligent Tutoring Systems","author":"B Martin","year":"2002","unstructured":"Martin, B., Mitrovic, A.: Automatic problem generation in constraint-based tutors. In: Cerri, S.A., Gouard\u00e8res, G., Paragua\u00e7u, F. (eds.) ITS 2002. LNCS, vol. 2363, pp. 388\u2013398. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-47987-2_42"},{"key":"32_CR14","unstructured":"Martin, B.I.: Intelligent tutoring systems: the practical implementation of constraint-based modelling. Ph.D. thesis, University of Canterbury (2001)"},{"key":"32_CR15","first-page":"2176","volume-title":"Cognitive Science Society","author":"BM McLaren","year":"2008","unstructured":"McLaren, B.M., Lim, S.J., Koedinger, K.R.: When and how often should worked examples be given to students? New results and a summary of the current state of research. In: Love, B.C., McRae, K., Sloutsky, V.M. (eds.) Cognitive Science Society, pp. 2176\u20132181. Cognitive Science Society, Austin (2008)"},{"issue":"1\u20132","key":"32_CR16","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-Adapt. Interact. 22(1\u20132), 39\u201372 (2012). https:\/\/doi.org\/10.1007\/s11257-011-9105-9","journal-title":"User Model. User-Adapt. Interact."},{"key":"32_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-44963-9_42","volume-title":"User Modeling 2003","author":"A Mitrovic","year":"2003","unstructured":"Mitrovic, A., Koedinger, K.R., Martin, B.: A comparative analysis of cognitive tutoring and constraint-based modeling. In: Brusilovsky, P., Corbett, A., de Rosis, F. (eds.) UM 2003. LNCS (LNAI), vol. 2702, pp. 313\u2013322. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44963-9_42"},{"key":"32_CR18","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-662-03037-0_7","volume-title":"Student Modelling: The Key to Individualized Knowledge-Based Instruction","author":"S Ohlsson","year":"1994","unstructured":"Ohlsson, S.: Constraint-based student modeling. In: Greer, J.E., McCalla, G.I. (eds.) Student Modelling: The Key to Individualized Knowledge-Based Instruction, vol. 125, pp. 167\u2013189. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/978-3-662-03037-0_7"},{"key":"32_CR19","unstructured":"Polozov, O., O\u2019Rourke, E., Smith, A., Zettlemoyer, L., Gulwani, S., Popovi\u0107, Z.: Personalized mathematical word problem generation. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence, IJCAI (2015)"},{"issue":"1","key":"32_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1207\/s15516709cog2101_1","volume":"21","author":"A Renkl","year":"1997","unstructured":"Renkl, A.: Learning from worked-out examples: a study on individual differences. Cogn. Sci. 21(1), 1\u201329 (1997)","journal-title":"Cogn. Sci."},{"issue":"1\u20132","key":"32_CR21","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/B:TRUC.0000021815.74806.f6","volume":"32","author":"A Renkl","year":"2004","unstructured":"Renkl, A., Atkinson, R.K., Gro\u00dfe, C.S.: How fading worked solution steps works - a cognitive load perspective. Instr. Sci. 32(1\u20132), 59\u201382 (2004). https:\/\/doi.org\/10.1023\/B:TRUC.0000021815.74806.f6","journal-title":"Instr. Sci."},{"issue":"4","key":"32_CR22","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1080\/00220970209599510","volume":"70","author":"A Renkl","year":"2002","unstructured":"Renkl, A., Atkinson, R.K., Maier, U.H., Staley, R.: From example study to problem solving: smooth transitions help learning. J. Exp. Educ. 70(4), 293\u2013315 (2002). http:\/\/www.jstor.org\/stable\/20152687","journal-title":"J. Exp. Educ."},{"key":"32_CR23","doi-asserted-by":"publisher","unstructured":"Sadigh, D., Seshia, S.A., Gupta, M.: Automating exercise generation: a step towards meeting the MOOC challenge for embedded systems. In: Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, WESE 2012, pp. 2:1\u20132:8. ACM, New York (2013). https:\/\/doi.org\/10.1145\/2530544.2530546","DOI":"10.1145\/2530544.2530546"},{"issue":"1","key":"32_CR24","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1111\/j.1756-8765.2008.01011.x","volume":"1","author":"RJCM Salden","year":"2008","unstructured":"Salden, R.J.C.M., Aleven, V.A.W.M.M., Renkl, A., Schwonke, R.: Worked examples and tutored problem solving: redundant or synergistic forms of support? Top. Cogn. Sci. 1(1), 203\u2013213 (2008). https:\/\/doi.org\/10.1111\/j.1756-8765.2008.01011.x","journal-title":"Top. Cogn. Sci."},{"key":"32_CR25","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-48317-9_17","volume-title":"Artificial Intelligence Today","author":"M Shanahan","year":"1999","unstructured":"Shanahan, M.: The event calculus explained. In: Wooldridge, M.J., Veloso, M. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409\u2013430. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48317-9_17"},{"key":"32_CR26","unstructured":"Singh, R., Gulwani, S., Rajamani, S.: Automatically generating algebra problems. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (2012)"},{"key":"32_CR27","unstructured":"Smith, A., Butler, E., Popovi\u0107, Z.: Quantifying over play: constraining undesirable solutions in puzzle design. In: Proceedings of the 8th International Conference on the Foundations of Digital Games (2013)"},{"key":"32_CR28","doi-asserted-by":"crossref","unstructured":"Smith, A.M., Andersen, E., Mateas, M., Popovi\u0107, Z.: A case study of expressively constrainable level design automation tools for a puzzle game. In: FDG 2012: Proceedings of the Seventh International Conference on the Foundations of Digital Games. ACM, New York (2012)","DOI":"10.1145\/2282338.2282370"},{"key":"32_CR29","first-page":"227","volume":"16","author":"K VanLehn","year":"2006","unstructured":"VanLehn, K.: The behavior of tutoring systems. Int. J. Artif. Intell. Educ. 16, 227\u2013265 (2006)","journal-title":"Int. J. Artif. Intell. Educ."},{"key":"32_CR30","unstructured":"Vanlehn, K., et al.: The Andes physics tutoring system: five years of evaluations. In: In Proceedings of the 12th International Conference on Artificial Intelligence in Education, pp. 678\u2013685. IOS Press (2005)"}],"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-030-23204-7_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:01:54Z","timestamp":1709820114000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-23204-7_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030232030","9783030232047"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-23204-7_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"21 June 2019","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":"Chicago, IL","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aied2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/caed-lab.com\/aied2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}