{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:50:19Z","timestamp":1743025819640,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395821"},{"type":"electronic","value":"9783319395838"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-39583-8_36","type":"book-chapter","created":{"date-parts":[[2016,6,1]],"date-time":"2016-06-01T19:28:40Z","timestamp":1464809320000},"page":"320-326","source":"Crossref","is-referenced-by-count":2,"title":["A Framework for Parameterized Design of Rule Systems Applied to Algebra"],"prefix":"10.1007","author":[{"given":"Eric","family":"Butler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emina","family":"Torlak","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":[[2016,6,2]]},"reference":[{"issue":"2","key":"36_CR1","first-page":"20","volume":"7","author":"B Clement","year":"2015","unstructured":"Clement, B., Roy, D., Oudeyer, P.Y., Lopes, M.: Multiarmed bandits for intelligent tutoring systems. J. Educ. Data Min. 7(2), 20\u201348 (2015)","journal-title":"J. Educ. Data Min."},{"issue":"8","key":"36_CR2","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/2634273","volume":"57","author":"S Gulwani","year":"2014","unstructured":"Gulwani, S.: Example-based learning in computer-aided stem education. Commun. ACM 57(8), 70\u201380 (2014)","journal-title":"Commun. ACM"},{"key":"36_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/978-3-540-30139-4_51","volume-title":"Intelligent Tutoring Systems","author":"MP Jarvis","year":"2004","unstructured":"Jarvis, M.P., Nuzzo-Jones, G., Heffernan, N.T.: Applying machine learning techniques to rule generation in intelligent tutoring systems. In: Lester, J.C., Vicari, R.M., Paragua\u00e7u, F. (eds.) ITS 2004. LNCS, vol. 3220, pp. 541\u2013553. Springer, Heidelberg (2004)"},{"issue":"3","key":"36_CR4","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1609\/aimag.v34i3.2484","volume":"34","author":"KR Koedinger","year":"2013","unstructured":"Koedinger, K.R., Brunskill, E., Baker, R.S., McLaughlin, E.A., Stamper, J.: New potentials for data-driven intelligent tutoring system development and optimization. AI Mag. 34(3), 27\u201341 (2013)","journal-title":"AI Mag."},{"issue":"2","key":"36_CR5","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.cogsys.2006.07.004","volume":"10","author":"P Langley","year":"2009","unstructured":"Langley, P., Laird, J.E., Rogers, S.: Cognitive architectures: research issues and challenges. Cogn. Syst. Res. 10(2), 141\u2013160 (2009)","journal-title":"Cogn. Syst. Res."},{"key":"36_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/978-3-319-07221-0_38","volume-title":"Intelligent Tutoring Systems","author":"T Lazar","year":"2014","unstructured":"Lazar, T., Bratko, I.: Data-driven program synthesis for hint generation in programming tutors. In: Trausan-Matu, S., Boyer, K.E., Crosby, M., Panourgia, K. (eds.) ITS 2014. LNCS, vol. 8474, pp. 306\u2013311. Springer, Heidelberg (2014)"},{"key":"36_CR7","unstructured":"Li, N., Cohen, W., Koedinger, K.R., Matsuda, N.: A machine learning approach for automatic student model discovery. In: Educational Data Mining 2011 (2010)"},{"key":"36_CR8","first-page":"149","volume":"2","author":"N Li","year":"2012","unstructured":"Li, N., Schreiber, A.J., Cohen, W., Koedinger, K.: Efficient complex skill acquisition through representation learning. Adv. Cogn. Syst. 2, 149\u2013166 (2012)","journal-title":"Adv. Cogn. Syst."},{"key":"36_CR9","first-page":"98","volume":"10","author":"T Murray","year":"1999","unstructured":"Murray, T.: Authoring intelligent tutoring systems: an analysis of the state of the art. Int. J. Artif. Intell. Educ. 10, 98\u2013129 (1999)","journal-title":"Int. J. Artif. Intell. Educ."},{"issue":"3","key":"36_CR10","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/j.cogsys.2010.12.002","volume":"12","author":"U Schmid","year":"2011","unstructured":"Schmid, U., Kitzelmann, E.: Inductive rule learning on the knowledge level. Cogn. Syst. Res. 12(3), 237\u2013248 (2011)","journal-title":"Cogn. Syst. Res."},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Singh, R., Gulwani, S., Solar-Lezama, A.: Automated feedback generation for introductory programming assignments. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (2013)","DOI":"10.1145\/2491956.2462195"}],"container-title":["Lecture Notes in Computer Science","Intelligent Tutoring Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39583-8_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T00:17:23Z","timestamp":1567988243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39583-8_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395821","9783319395838"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39583-8_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}