{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:22:24Z","timestamp":1725902544684},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319614243"},{"type":"electronic","value":"9783319614250"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61425-0_7","type":"book-chapter","created":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T14:07:41Z","timestamp":1498140461000},"page":"77-89","source":"Crossref","is-referenced-by-count":2,"title":["An Extensible Domain-Specific Language for Describing Problem-Solving Procedures"],"prefix":"10.1007","author":[{"given":"Bastiaan","family":"Heeren","sequence":"first","affiliation":[]},{"given":"Johan","family":"Jeuring","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,23]]},"reference":[{"issue":"2","key":"7_CR1","first-page":"105","volume":"19","author":"V Aleven","year":"2009","unstructured":"Aleven, V., McLaren, B.M., Sewall, J., Koedinger, K.R.: A new paradigm for intelligent tutoring systems: example-tracing tutors. J. AIED 19(2), 105\u2013154 (2009)","journal-title":"J. AIED"},{"issue":"1","key":"7_CR2","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(90)90093-F","volume":"42","author":"JR Anderson","year":"1990","unstructured":"Anderson, J.R., Boyle, C.F., Corbett, A.T., Lewis, M.W.: Cognitive modeling and intelligent tutoring. Artif. Intell. 42(1), 7\u201349 (1990)","journal-title":"Artif. Intell."},{"issue":"2","key":"7_CR3","doi-asserted-by":"crossref","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":"7_CR4","first-page":"89","volume-title":"Computer-Human Interaction in Symbolic Computation","author":"MJ Beeson","year":"1998","unstructured":"Beeson, M.J.: Design principles of MathPert: software to support education in algebra and calculus. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, pp. 89\u2013115. Springer, Vienna (1998)"},{"issue":"6","key":"7_CR5","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A Deursen van","year":"2000","unstructured":"van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. SIGPLAN Not. 35(6), 26\u201336 (2000)","journal-title":"SIGPLAN Not."},{"issue":"1","key":"7_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. J. AIED 27(1), 65\u2013100 (2017). doi:\n10.1007\/s40593-015-0080-x","journal-title":"J. AIED"},{"issue":"3","key":"7_CR7","first-page":"428","volume":"25","author":"SB Gilbert","year":"2015","unstructured":"Gilbert, S.B., Blessing, S.B., Guo, E.: Authoring effective embedded tutors: An overview of the extensible problem specific tutor (xPST) system. J. AIED 25(3), 428\u2013454 (2015)","journal-title":"J. AIED"},{"volume-title":"Essential Software Architecture","year":"2006","author":"I Gorton","key":"7_CR8","unstructured":"Gorton, I.: Essential Software Architecture. Springer, Heidelberg (2006)"},{"key":"7_CR9","doi-asserted-by":"crossref","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)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"7_CR10","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s11786-010-0027-4","volume":"3","author":"B Heeren","year":"2010","unstructured":"Heeren, B., Jeuring, J., Gerdes, A.: Specifying rewrite strategies for interactive exercises. Math. Comput. Sci. 3(3), 349\u2013370 (2010)","journal-title":"Math. Comput. Sci."},{"volume-title":"Communicating Sequential Processes","year":"1985","author":"CAR Hoare","key":"7_CR11","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall Inc., Englewood Cliffs (1985)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/978-3-319-24258-3_49","volume-title":"Design for Teaching and Learning in a Networked World","author":"J Jeuring","year":"2015","unstructured":"Jeuring, J., et al.: Communicate! \u2014 a serious game for communication skills. In: Conole, G., Klobu\u010dar, T., Rensing, C., Konert, J., Lavou\u00e9, \u00c9. (eds.) EC-TEL 2015. LNCS, vol. 9307, pp. 513\u2013517. Springer, Cham (2015). doi:\n10.1007\/978-3-319-24258-3_49"},{"key":"7_CR13","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. J. AIED 8, 30\u201343 (1997)","journal-title":"J. AIED"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Koedinger, K.R., Brunskill, E., Baker, R.S.J.D., McLaughlin, E.A., Stamper, J.: New potentials for data-driven intelligent tutoring system development and optimization. AI Magazine 34(3), 27\u201341 (2013)","DOI":"10.1609\/aimag.v34i3.2484"},{"key":"7_CR15","first-page":"387","volume":"2017","author":"J Lodder","year":"2017","unstructured":"Lodder, J., Heeren, B., Jeuring, J.: Generating hints and feedback for Hilbert-style axiomatic proofs. SIGCSE 2017, 387\u2013392 (2017)","journal-title":"SIGCSE"},{"issue":"4","key":"7_CR16","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MIS.2007.74","volume":"22","author":"A Mitrovic","year":"2007","unstructured":"Mitrovic, A., Martin, B., Suraweera, P.: Intelligent tutors for all: the constraint-based approach. IEEE Intell. Syst. 22(4), 38\u201345 (2007)","journal-title":"IEEE Intell. Syst."},{"issue":"2","key":"7_CR17","first-page":"155","volume":"19","author":"A Mitrovic","year":"2009","unstructured":"Mitrovic, A., Martin, B., Suraweera, P., Zakharov, K., Milik, N., Holland, J., McGuigan, N.: ASPIRE: an authoring system and deployment environment for constraint-based tutors. J. AIED 19(2), 155\u2013188 (2009)","journal-title":"J. AIED"},{"issue":"1","key":"7_CR18","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1207\/s15327809jls0701_2","volume":"7","author":"T Murray","year":"1998","unstructured":"Murray, T.: Authoring knowledge-based tutors: tools for content, instructional strategy, student model, and interface design. J. Learn. Sci. 7(1), 5\u201364 (1998)","journal-title":"J. Learn. Sci."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Murray, T.: An overview of intelligent tutoring system authoring tools: updated analysis of the state of the art. In: Murray, T., Blessing, S.B., Ainsworth, S. (eds.) Authoring Tools for Advanced Technology Learning Environments, pp. 491\u2013544. Springer, The Netherlands (2003)","DOI":"10.1007\/978-94-017-0819-7_17"},{"key":"7_CR20","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-642-14363-2_18","volume-title":"Advances in Intelligent Tutoring Systems","author":"R Nkambou","year":"2010","unstructured":"Nkambou, R., Bourdeau, J., Psych\u00e9, V.: Building intelligent tutoring systems: an overview. In: Nkambou, R., et al. (eds.) Advances in Intelligent Tutoring Systems. SCI, vol. 308, pp. 361\u2013375. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-14363-2_18"},{"issue":"4","key":"7_CR21","first-page":"251","volume":"4","author":"HS Nwana","year":"1990","unstructured":"Nwana, H.S.: Intelligent tutoring systems: an overview. AI Rev. 4(4), 251\u2013277 (1990)","journal-title":"AI Rev."},{"issue":"1","key":"7_CR22","first-page":"118","volume":"25","author":"L Paquette","year":"2015","unstructured":"Paquette, L., Lebeau, J.-F., Beaulieu, G., Mayers, A.: Designing a knowledge representation approach for the generation of pedagogical interventions by MTTs. J. AIED 25(1), 118\u2013156 (2015)","journal-title":"J. AIED"},{"key":"7_CR23","unstructured":"Sottilare, R., Graesser, A., Hu, X., Brawner, K. (eds.): Design Recommendations for Intelligent Tutoring Systems. Volume 3: Authoring Tools and Expert Modeling Techniques. Adaptive Tutoring Series (2015)"},{"key":"7_CR24","unstructured":"Taylor, R.N., Medvidovic, N., Dashofy, E.M., Architecture, S.: Foundations, Theory, and Practice. Wiley Publishing (2009)"},{"issue":"3","key":"7_CR25","first-page":"227","volume":"16","author":"K VanLehn","year":"2006","unstructured":"VanLehn, K.: The behavior of tutoring systems. J. AIED 16(3), 227\u2013265 (2006)","journal-title":"J. AIED"},{"issue":"4","key":"7_CR26","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1080\/00461520.2011.611369","volume":"46","author":"K VanLehn","year":"2011","unstructured":"VanLehn, K.: The relative effectiveness of human tutoring, intelligent tutoring systems, and other tutoring systems. Educ. Psychol. 46(4), 197\u2013221 (2011)","journal-title":"Educ. Psychol."},{"issue":"3","key":"7_CR27","first-page":"147","volume":"15","author":"K VanLehn","year":"2005","unstructured":"VanLehn, K., Lynch, C., Schulze, K., Shapiro, J.A., Shelby, R., Taylor, L., Treacy, D., Weinstein, A., Wintersgill, M.: The Andes physics tutoring system: lessons learned. J. AIED 15(3), 147\u2013204 (2005)","journal-title":"J. AIED"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence in Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61425-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,27]],"date-time":"2017-10-27T09:20:12Z","timestamp":1509096012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61425-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614243","9783319614250"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61425-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}