{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T16:12:35Z","timestamp":1779120755011,"version":"3.51.4"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319072203","type":"print"},{"value":"9783319072210","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07221-0_60","type":"book-chapter","created":{"date-parts":[[2014,5,24]],"date-time":"2014-05-24T08:09:34Z","timestamp":1400918974000},"page":"482-489","source":"Crossref","is-referenced-by-count":4,"title":["A Student Model for Teaching Natural Deduction Based on a Prover That Mimics Student Reasoning"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Carlos","family":"Gluz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabiane","family":"Penteado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcel","family":"Mossmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucas","family":"Gomes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosa","family":"Vicari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"60_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-540-75867-9_51","volume-title":"Computer Aided Systems Theory \u2013 EUROCAST 2007","author":"J.A. Alonso","year":"2007","unstructured":"Alonso, J.A., Aranda, G.A., Martn\u2013Mateos, F.J.: KRRT: Knowledge Representation and Reasoning Tutor System. In: Moreno D\u00edaz, R., Pichler, F., Quesada Arencibia, A. (eds.) EUROCAST 2007. LNCS, vol.\u00a04739, pp. 400\u2013407. Springer, Heidelberg (2007)"},{"issue":"1","key":"60_CR2","first-page":"3","volume":"13","author":"T. Barnes","year":"2010","unstructured":"Barnes, T., Stamper, J.: Automatic Hint Generation for Logic Proof Tutoring Using Historical Data. Educational Technology & Society\u00a013(1), 3\u201312 (2010)","journal-title":"Educational Technology & Society"},{"key":"60_CR3","unstructured":"Baronett, S.: Logic. Pearson (2008)"},{"key":"60_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-642-30950-2_43","volume-title":"Intelligent Tutoring Systems","author":"C.-G. Chiru","year":"2012","unstructured":"Chiru, C.-G., Trausan-Matu, S.: Identification and Classification of the Most Important Moments from Students\u2019 Collaborative Discourses. In: Cerri, S.A., Clancey, W.J., Papadourakis, G., Panourgia, K. (eds.) ITS 2012. LNCS, vol.\u00a07315, pp. 330\u2013339. Springer, Heidelberg (2012)"},{"key":"60_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1007\/978-3-642-30950-2_126","volume-title":"Intelligent Tutoring Systems","author":"J.C. Gluz","year":"2012","unstructured":"Gluz, J.C., Vicari, R.M., Passerino, L.M.: An Agent-Based Infrastructure for the Support of Learning Objects Life-Cycle. In: Cerri, S.A., Clancey, W.J., Papadourakis, G., Panourgia, K. (eds.) ITS 2012. LNCS, vol.\u00a07315, pp. 696\u2013698. Springer, Heidelberg (2012)"},{"issue":"2","key":"60_CR6","first-page":"198","volume":"10","author":"R. Luckin","year":"1999","unstructured":"Luckin, R., du Boulay, B.: Ecolab: The Development and Evaluation of a Vygotskian Design Framework. Int. J. of Artificial Intelligence in Education\u00a010(2), 198\u2013220 (1999)","journal-title":"Int. J. of Artificial Intelligence in Education"},{"issue":"1","key":"60_CR7","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/563517.563490","volume":"34","author":"S. Lukins","year":"2002","unstructured":"Lukins, S., Levicki, A., Burg, J.: A tutorial program for propositional logic with human\/computer interactive learning. SIGCSE Bull\u00a034(1), 381\u2013385 (2002)","journal-title":"SIGCSE Bull"},{"key":"60_CR8","doi-asserted-by":"publisher","DOI":"10.1002\/0470108096","volume-title":"Data Mining the Web: Uncovering Patterns in Web Content, Structure, and Usage","author":"Z. Markov","year":"2007","unstructured":"Markov, Z., Larose, D.T.: Data Mining the Web: Uncovering Patterns in Web Content, Structure, and Usage. John Wiley & Sons, Hoboken (2007)"},{"key":"60_CR9","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, Part II. LNCS, vol.\u00a06095, pp. 31\u201340. Springer, Heidelberg (2010)"},{"key":"60_CR10","volume-title":"Thought and Language","author":"L.S. Vygotsky","year":"1986","unstructured":"Vygotsky, L.S.: Thought and Language. The M.I.T. Press, Cambridge (1986)"},{"key":"60_CR11","unstructured":"Yacef, K.: The Logic-ITA in the classroom: A medium scale experiment. Int. J. of Artificial Intelligence in Education\u00a015(1) (2005)"}],"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-07221-0_60","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T18:53:02Z","timestamp":1558896782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07221-0_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319072203","9783319072210"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07221-0_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}