{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:58:01Z","timestamp":1742381881282},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642218682"},{"type":"electronic","value":"9783642218699"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21869-9_45","type":"book-chapter","created":{"date-parts":[[2011,6,12]],"date-time":"2011-06-12T18:56:02Z","timestamp":1307904962000},"page":"345-352","source":"Crossref","is-referenced-by-count":13,"title":["Experimental Evaluation of Automatic Hint Generation for a Logic Tutor"],"prefix":"10.1007","author":[{"given":"John C.","family":"Stamper","sequence":"first","affiliation":[]},{"given":"Michael","family":"Eagle","sequence":"additional","affiliation":[]},{"given":"Tiffany","family":"Barnes","sequence":"additional","affiliation":[]},{"given":"Marvin","family":"Croy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-540-30139-4_22","volume-title":"Intelligent Tutoring Systems","author":"V. Aleven","year":"2004","unstructured":"Aleven, V., McLaren, B.M., Roll, I., Koedinger, K.R.: Toward tutoring help seeking: Applying cognitive modeling to meta-cognitive skills. In: Lester, J.C., Vicari, R.M., Paragua\u00e7u, F. (eds.) ITS 2004. LNCS, vol.\u00a03220, pp. 227\u2013239. Springer, Heidelberg (2004)"},{"key":"45_CR2","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":"45_CR3","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.) Educational Data Mining (EDM 2008), Montreal, Canada, pp. 197\u2013201 (2008)"},{"key":"45_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-540-69132-7_42","volume-title":"Intelligent Tutoring Systems","author":"J.E. Beck","year":"2008","unstructured":"Beck, J.E., Chang, K.-m., Mostow, J., Corbett, A.T.: Does help help? Introducing the bayesian evaluation and assessment methodology. In: Woolf, B.P., A\u00efmeur, E., Nkambou, R., Lajoie, S. (eds.) ITS 2008. LNCS, vol.\u00a05091, pp. 383\u2013394. Springer, Heidelberg (2008)"},{"key":"45_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":"45_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, pp. 186\u2013195. IOS Press, Brighton (2009)"},{"key":"45_CR7","volume-title":"Handbook of Educational Data Mining","author":"K.R. Koedinger","year":"2010","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 (2010)"},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"Mitrovic, A., Koedinger, K., Martin, B.: A comparative analysis of cognitive tutoring and constraint-based modeling. In: User Modeling, pp. 313\u2013322 (2003)","DOI":"10.1007\/3-540-44963-9_42"},{"key":"45_CR9","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 (IT 2004), Macei\u00f3, Brazil (2004)"},{"key":"45_CR10","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":"45_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-642-13388-6_39","volume-title":"Intelligent Tutoring Systems","author":"L. Razzaq","year":"2010","unstructured":"Razzaq, L., Heffernan, N.T.: Hints: Is It Better to Give or Wait to Be Asked? In: Aleven, V., Kay, J., Mostow, J. (eds.) ITS 2010. LNCS, vol.\u00a06094, pp. 349\u2013358. Springer, Heidelberg (2010)"},{"key":"45_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-13437-1_4","volume-title":"Intelligent Tutoring Systems","author":"J. Stamper","year":"2010","unstructured":"Stamper, J., Barnes, T., Croy, M.: Enhancing the Automatic Generation of Hints with Expert Seeding. In: Aleven, V., Kay, J., Mostow, J. (eds.) ITS 2010. LNCS, vol.\u00a06095, pp. 31\u201340. Springer, Heidelberg (2010)"},{"key":"45_CR13","unstructured":"Shih, B., Koedinger, K.R., Scheines, R.: A Response Time Model For Bottom-Out Hints as Worked Examples. In: Educational Data Mining 2008, pp. 117\u2013126 (2008)"},{"issue":"1","key":"45_CR14","doi-asserted-by":"publisher","first-page":"153","DOI":"10.3102\/0034654307313795","volume":"78","author":"V.J. Shute","year":"2008","unstructured":"Shute, V.J.: Focus on formative feedback. Review of Educational Research\u00a078(1), 153\u2013189 (2008)","journal-title":"Review of Educational Research"},{"key":"45_CR15","volume-title":"Reinforcement Learning: An Introduction","author":"R. Sutton","year":"1998","unstructured":"Sutton, R., Barto, A.: Reinforcement Learning: An Introduction. The MIT Press, Cambridge (1998)"}],"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-642-21869-9_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T02:09:44Z","timestamp":1553825384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21869-9_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642218682","9783642218699"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21869-9_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}