{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T06:04:31Z","timestamp":1782885871709,"version":"3.54.5"},"reference-count":36,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T00:00:00Z","timestamp":1777334400000},"content-version":"vor","delay-in-days":3345,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/100006445","name":"Center for Hierarchical Manufacturing, National Science Foundation","doi-asserted-by":"publisher","award":["1432156"],"award-info":[{"award-number":["1432156"]}],"id":[{"id":"10.13039\/100006445","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["0845997"],"award-info":[{"award-number":["0845997"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Artificial Intelligence in Education"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s40593-016-0112-1","type":"journal-article","created":{"date-parts":[[2016,4,19]],"date-time":"2016-04-19T14:43:36Z","timestamp":1461077016000},"page":"5-36","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":25,"title":["Evolution of an Intelligent Deductive Logic Tutor Using Data-Driven Elements"],"prefix":"10.1016","volume":"27","author":[{"given":"Behrooz","family":"Mostafavi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tiffany","family":"Barnes","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1007\/s40593-016-0112-1_bib2","doi-asserted-by":"crossref","unstructured":"Barnes, T., & Stamper, J. (2008). Toward automatic hint generation for logic proof tutoring using historical student data. In Proceedings of the thirteenth international conference on intelligent tutoring systems (ITS \u201908) (pp. 373\u2013382).","DOI":"10.1007\/978-3-540-69132-7_41"},{"key":"10.1007\/s40593-016-0112-1_bib3","unstructured":"Barnes, T., Stamper, J., Lehmann, L., & Croy, M.J. (2008). A pilot study on logic proof tutoring using hints generated from historical student data. In Proceedings of the first international conference on educational data mining (EDM \u201908) (pp. 197\u2013201)."},{"issue":"2","key":"10.1007\/s40593-016-0112-1_bib4","doi-asserted-by":"crossref","first-page":"169","DOI":"10.5840\/teachphil200023226","article-title":"Problem solving, working backwards, and graphic proof representation","volume":"23","author":"Croy","year":"2000","journal-title":"Teaching Philosophy"},{"key":"10.1007\/s40593-016-0112-1_bib5","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF01099821","article-title":"Knowledge Tracing: Modeling the Acquisition of Procedural Knowledge","volume":"4","author":"Corbett","year":"1995","journal-title":"User Modeling and User-Adapted Interaction"},{"issue":"1","key":"10.1007\/s40593-016-0112-1_bib6","first-page":"326","article-title":"Providing adaptivity in Moodle LMS courses","volume":"15","author":"Despotovic-Zrakic","year":"2012","journal-title":"Educational Technology Society"},{"key":"10.1007\/s40593-016-0112-1_bib7","doi-asserted-by":"crossref","unstructured":"Eagle, M., & Barnes, T. (2012). Data-Driven Method for assessing Skill-Opportunity recognition in open procedural problem solving environments. In Proceedings of the fifteenth international conference on Intelligent Tutoring Systems (ITS \u201912) (pp. 615\u2013617).","DOI":"10.1007\/978-3-642-30950-2_88"},{"key":"10.1007\/s40593-016-0112-1_bib8","doi-asserted-by":"crossref","unstructured":"Eagle, M., & Barnes, T. (2014a). Modeling student dropout in tutoring systems. In Proceedings of the twelfth international conference on Intelligent Tutoring Systems (ITS \u201914) (pp. 676\u2013678).","DOI":"10.1007\/978-3-319-07221-0_104"},{"key":"10.1007\/s40593-016-0112-1_bib9","doi-asserted-by":"crossref","unstructured":"Eagle, M., & Barnes, T. (2014b). Survival analysis on duration data in intelligent tutors. In Proceedings of the twelfth international conference on intelligent tutoring systems (ITS \u201914) (pp. 178\u2013 187).","DOI":"10.1007\/978-3-319-07221-0_22"},{"key":"10.1007\/s40593-016-0112-1_bib10","unstructured":"Ehle, A., Hundeshagen, N., & Lange, M. (2015). The sequent calculus trainer - helping students to correctly construct proofs. In Proceedings of the fourth international conference on tools for teaching logic (TTL \u201915) (pp. 35\u201344)."},{"key":"10.1007\/s40593-016-0112-1_bib11","doi-asserted-by":"crossref","unstructured":"Elmadani, M., Mathews, M., & Mitrovic, A. (2012). Data-driven misconception discovery in constraint-based intelligent tutoring systems. In Workshop proceedings of the twentieth International Conference on Computers in Education (ICCE \u201912).","DOI":"10.58459\/icce.2012.540"},{"key":"10.1007\/s40593-016-0112-1_bib12","unstructured":"Fancsali, S.E. (2014). Causal discovery with models: behavior, affect, and learning in cognitive tutor algebra. In Proceedings of the seventh international conference on educational data mining (EDM \u201914) (pp. 28\u201335)."},{"key":"10.1007\/s40593-016-0112-1_bib13","doi-asserted-by":"crossref","unstructured":"Gluz, J.C., Penteado, F., Mossmann, M., Gomes, L., & Vicari, R. (2014). A student model for teaching natural deduction based on a prover that mimics student reasoning. In Proceedings of the twelfth international conference on intelligent tutoring systems (ITS \u201914) (pp. 482\u2013489).","DOI":"10.1007\/978-3-319-07221-0_60"},{"key":"10.1007\/s40593-016-0112-1_bib14","unstructured":"Gonzalez-Brenes, J.P., & Mostow, J. (2013). What and when do students learn? Fully data-driven joint estimation of cognitive and student models. In Proceedings of the sixth international conference on educational data mining (EDM \u201913) (pp. 236\u2013239)."},{"issue":"2","key":"10.1007\/s40593-016-0112-1_bib15","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/j.chb.2008.12.006","article-title":"Learning how to use a computer-based concept-mapping tool: self-explaining examples helps","volume":"25","author":"Hilbert","year":"2009","journal-title":"Computers in Human Behavior"},{"key":"10.1007\/s40593-016-0112-1_bib16","doi-asserted-by":"crossref","unstructured":"Kizilcec, R.F., Piech, C., & Schneider, E. (2013). Deconstructing disengagement: analyzing learner subpopulations in massive open online courses. In Proceedings of the third international conference on Learning Analytics and Knowledge. (LAK \u201913) (pp. 170\u2013179).","DOI":"10.1145\/2460296.2460330"},{"issue":"3","key":"10.1007\/s40593-016-0112-1_bib17","doi-asserted-by":"crossref","first-page":"885","DOI":"10.1016\/j.compedu.2010.11.001","article-title":"E-learning personalization based on hybrid recommendation strategy and learning style identification","volume":"56","author":"Klasnja-Milicevic","year":"2011","journal-title":"Computers Education"},{"key":"10.1007\/s40593-016-0112-1_bib20","unstructured":"Lee, J., & Brunskill, E. (2012). The impact on individualizing student models on necessary practice opportunities. In Proceedings of the fifth international conference on Educational Data Mining (EDM \u201912) (pp. 118\u2013125)."},{"key":"10.1007\/s40593-016-0112-1_bib21","unstructured":"Lodder, J., Heeren, B., & Jeuring, J. (2015). A pilot study of the use of LogEx, lessons learned. In Proceedings of the fourth international conference on tools for teaching logic (TTL \u201915) (pp. 94\u2013 100)."},{"issue":"1","key":"10.1007\/s40593-016-0112-1_bib22","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/563517.563490","article-title":"A tutorial program for propositional logic with human\/computer interactive learning","volume":"34","author":"Lukins","year":"2002","journal-title":"ACM SIGCSE Bulletin"},{"issue":"4","key":"10.1007\/s40593-016-0112-1_bib23","doi-asserted-by":"crossref","first-page":"901","DOI":"10.1037\/a0037123","article-title":"Intelligent tutoring systems and learning outcomes: a meta-analysis","volume":"106","author":"Ma","year":"2014","journal-title":"Journal of Educational Psychology"},{"key":"10.1007\/s40593-016-0112-1_bib24","unstructured":"McLaren, B., Lim, S., & Koedinger, K. (2008). When and how often should worked examples be given to students? New results and a summary of the current state of research. In Proceedings of the thirtieth conference of the cognitive science society (pp. 2176\u20132181)."},{"key":"10.1007\/s40593-016-0112-1_bib25","unstructured":"Merceron, A., & Yacef, K. (2005). Educational data mining: a case study. In Proceedings of the twelfth international conference on artificial intelligence in education (AIED \u201905) (pp. 467\u2013474)."},{"key":"10.1007\/s40593-016-0112-1_bib26","series-title":"Proceedings of the twenty-first SIGCSE technical symposium on computer science education (SIGCSE \u201990)","first-page":"22","article-title":"The central role of mathematical logic in computer science","author":"Meyers","year":"1990"},{"key":"10.1007\/s40593-016-0112-1_bib27","doi-asserted-by":"crossref","unstructured":"Murray, T., & Arroyo, I. (2002). Toward measuring and maintaining the zone of proximal development in adaptive instructional systems. In Proceedings of the tenth international conference on intelligent tutoring systems (ITS \u201902) (pp. 289\u2013294).","DOI":"10.1007\/3-540-47987-2_75"},{"key":"10.1007\/s40593-016-0112-1_bib28","series-title":"Proceedings of the eighth ACM SIGPLAN international conference on functional programming (ICFP \u201903)","first-page":"79","article-title":"Software is discrete mathematics","author":"Page","year":"2003"},{"key":"10.1007\/s40593-016-0112-1_bib29","doi-asserted-by":"crossref","unstructured":"Perez, E.V., Santos, L.M.R., Perez, M.J.V., de Castro Fernandez, J.P., & Martin, R.G. (2012). Automatic classification of question difficulty level: teachers\u2019 estimation vs. students\u2019 perception. In Proceedings of the IEEE frontiers in education conference (pp. 1\u20135).","DOI":"10.1109\/FIE.2012.6462398"},{"key":"10.1007\/s40593-016-0112-1_bib30","doi-asserted-by":"crossref","unstructured":"Rivers, K., & Koedinger, K.R. (2015). Data-driven hint generation in vast solution spaces: a self-improving python programming tutor. International Journal of Artificial Intelligence in Education, 1\u201328.","DOI":"10.1007\/s40593-015-0070-z"},{"issue":"2","key":"10.1007\/s40593-016-0112-1_bib31","doi-asserted-by":"crossref","first-page":"249","DOI":"10.3758\/BF03194060","article-title":"Cognitive tutor: applied research in mathematics education","volume":"14","author":"Ritter","year":"2007","journal-title":"Psychonomic Bulletin Review"},{"key":"10.1007\/s40593-016-0112-1_bib32","unstructured":"Shih, B., Koedinger, K.R., & Scheines, R. (2008). A response time model for bottom-out hints as worked examples."},{"issue":"4","key":"10.1007\/s40593-016-0112-1_bib33","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1093\/jigpal\/jzm026","article-title":"The AProS project: strategic thinking & computational logic","volume":"15","author":"Sieg","year":"2007","journal-title":"Logic Journal of IGPL"},{"issue":"2","key":"10.1007\/s40593-016-0112-1_bib34","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1037\/a0034752","article-title":"A meta-analysis of the effectiveness of intelligent tutoring systems on college students\u2019 academic learning","volume":"106","author":"Steenbergen-Hu","year":"2014","journal-title":"Journal of Educational Psychology"},{"issue":"1","key":"10.1007\/s40593-016-0112-1_bib35","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1207\/s1532690xci0201_3","article-title":"The use of worked examples as a substitute for problem solving in learning algebra","volume":"2","author":"Sweller","year":"1985","journal-title":"Cognition and Instruction"},{"issue":"2","key":"10.1007\/s40593-016-0112-1_bib36","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/IRG-2006-16(3)02","article-title":"The behavior of tutoring systems","volume":"16","author":"VanLehn","year":"2006","journal-title":"International Journal of Artificial Intelligence in Education"},{"issue":"4","key":"10.1007\/s40593-016-0112-1_bib37","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1080\/00461520.2011.611369","article-title":"The relative effectiveness of human tutoring, intelligent tutoring systems, and other tutoring systems","volume":"46","author":"VanLehn","year":"2011","journal-title":"Educational Psychologist"},{"issue":"3","key":"10.1007\/s40593-016-0112-1_bib38","doi-asserted-by":"crossref","first-page":"147","DOI":"10.3233\/IRG-2005-15(3)02","article-title":"The Andes physics tutoring system: lessons learned","volume":"15","author":"VanLehn","year":"2005","journal-title":"International Journal of Artificial Intelligence in Education"},{"issue":"2","key":"10.1007\/s40593-016-0112-1_bib39","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/j.edurev.2006.05.001","article-title":"Teachers and students perceptions of assessments: a review and a study into the ability and accuracy of estimating the difficulty levels of assessment items","volume":"1","author":"Watering","year":"2006","journal-title":"Educational Research Review"}],"container-title":["International Journal of Artificial Intelligence in Education"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40593-016-0112-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s40593-016-0112-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1560429226004531?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1560429226004531?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40593-016-0112-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40593-016-0112-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T06:13:32Z","timestamp":1779084812000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1560429226004531"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["S1560429226004531"],"URL":"https:\/\/doi.org\/10.1007\/s40593-016-0112-1","relation":{},"ISSN":["1560-4292"],"issn-type":[{"value":"1560-4292","type":"print"}],"subject":[],"published":{"date-parts":[[2017,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Evolution of an Intelligent Deductive Logic Tutor Using Data-Driven Elements","name":"articletitle","label":"Article Title"},{"value":"International Journal of Artificial Intelligence in Education","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1007\/s40593-016-0112-1","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2016 International Artificial Intelligence in Education Society. Published by Elsevier Ltd","name":"copyright","label":"Copyright"}]}}