{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:10:53Z","timestamp":1725556253285},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642134364"},{"type":"electronic","value":"9783642134371"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13437-1_4","type":"book-chapter","created":{"date-parts":[[2010,5,24]],"date-time":"2010-05-24T22:46:48Z","timestamp":1274741208000},"page":"31-40","source":"Crossref","is-referenced-by-count":10,"title":["Enhancing the Automatic Generation of Hints with Expert Seeding"],"prefix":"10.1007","author":[{"given":"John","family":"Stamper","sequence":"first","affiliation":[]},{"given":"Tiffany","family":"Barnes","sequence":"additional","affiliation":[]},{"given":"Marvin","family":"Croy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-540-69132-7_41","volume-title":"Intelligent Tutoring Systems","author":"T. Barnes","year":"2008","unstructured":"Barnes, T., Stamper, J.: Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data. In: Woolf, B.P., A\u00efmeur, E., Nkambou, R., Lajoie, S. (eds.) ITS 2008. LNCS, vol.\u00a05091, pp. 373\u2013382. Springer, Heidelberg (2008)"},{"key":"4_CR2","unstructured":"Barnes, T., Stamper, J., Lehmann, L., Croy, M.: A Pilot Study on Logic Proof Tutoring Using Hints Generated from Historical Student Data. In: Baker, R., Barnes, T., Beck, J. (eds.) Proceedings of the 1st International Conference on Educational Data Mining (EDM 2008), Montreal, Canada, pp. 197\u2013201 (2008)"},{"key":"4_CR3","unstructured":"Barnes, T., Stamper, J.: Toward the extraction of production rules for solving logic proofs. In: Proc. 13th Intl. Conf. on Artificial Intelligence in Education, Educational Data Mining Workshop, Marina del Rey, CA (2007)"},{"key":"4_CR4","unstructured":"Beck, J., Woolf, B.P., Beal, C.R.: ADVISOR: A Machine Learning Architecture for Intelligent Tutor Construction. In: 7th National Conference on Artificial Intelligence, pp. 552\u2013557. AAAI Press \/ The MIT Press (2000)"},{"key":"4_CR5","first-page":"145","volume-title":"European Computing and Philosophy Conference","author":"M. Croy","year":"2007","unstructured":"Croy, M., Barnes, T., Stamper, J.: Towards an Intelligent Tutoring System for propositional proof construction. In: Brey, P., Briggle, A., Waelbers, K. (eds.) European Computing and Philosophy Conference, pp. 145\u2013155. IOS Publishers, Amsterdam (2007)"},{"key":"4_CR6","first-page":"186","volume-title":"Proc. 14th Intl. Conf. on Artificial Intelligence in Education, AIED 2009","author":"D. Fossati","year":"2009","unstructured":"Fossati, D., Di Eugenio, B., Ohlsson, S., Brown, c., Chen, L., Cosejo, D.: I learn from you, you learn from me: How to make iList learn from students. In: Dimitrova, V., Mizoguchi, R., Du Boulay, B., Graesser, A. (eds.) Proc. 14th Intl. Conf. on Artificial Intelligence in Education, AIED 2009, Brighton, UK, pp. 186\u2013195. IOS Press, Amsterdam (2009)"},{"key":"4_CR7","unstructured":"Koedinger, K.R., Baker, R.S.J.D., Cunningham, K., Skogsholm, A., Leber, B., Stamper, J.: A Data Repository for the EDM commuity: The PSLC DataShop. In: Romero, C., Ventura, S., Pechenizkiy, M., Baker, R.S.J.D. (eds.) Handbook of Educational Data Mining, CRC Press, Boca Raton (in press) (to appear)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Koedinger, K.R., Aleven, V., Heffernan, T., McLaren, B., Hockenberry, M.: Opening the door to non-programmers: Authoring intelligent tutor behavior by demonstration. In: 7th Intelligent Tutoring Systems Conference, Maceio, Brazil, pp. 162\u2013173 (2004)","DOI":"10.1007\/978-3-540-30139-4_16"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Mitrovic, A., Koedinger, K., Martin, B.: A comparative analysis of cognitive tutoring and constraint-based modeling. User Modeling, 313\u2013322 (2003)","DOI":"10.1007\/3-540-44963-9_42"},{"key":"4_CR10","unstructured":"McLaren, B., Koedinger, K., Schneider, M., Harrer, A., Bollen, L.: Bootstrapping Novice Data: Semi-automated tutor authoring using student log files. In: Proc. Workshop on Analyzing Student-Tutor Interaction Logs to Improve Educational Outcomes. 7th Intl. Conf. Intelligent Tutoring Systems (ITS 2004), Macei\u00f3, Brazil (2004)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-540-69132-7_43","volume-title":"Intelligent Tutoring Systems","author":"R. Nkambou","year":"2008","unstructured":"Nkambou, R., Mephu Nguifo, E., Fournier-Viger, P.: Using Knowledge Discovery Techniques to Support Tutoring in an Ill-Defined Domain. In: Woolf, B.P., A\u00efmeur, E., Nkambou, R., Lajoie, S. (eds.) ITS 2008. LNCS, vol.\u00a05091, pp. 395\u2013405. Springer, Heidelberg (2008)"},{"key":"4_CR12","first-page":"467","volume-title":"Proceedings of the international conference on Artificial Intelligence in Education","author":"N. Matsuda","year":"2007","unstructured":"Matsuda, N., Cohen, W.W., Sewall, J., Lacerda, G., Koedinger, K.R.: Predicting students performance with SimStudent that learns cognitive skills from observation. In: Luckin, R., Koedinger, K.R., Greer, J. (eds.) Proceedings of the international conference on Artificial Intelligence in Education, pp. 467\u2013476. IOS Press, Amsterdam (2007)"},{"key":"4_CR13","volume-title":"Reinforcement Learning: An Introduction","author":"S. Sutton","year":"1998","unstructured":"Sutton, S., Barto, A.: Reinforcement Learning: An Introduction. MIT Press, Cambridge (1998)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Tutoring Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13437-1_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:03:40Z","timestamp":1619784220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13437-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134364","9783642134371"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13437-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}