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 ’08) (pp. 373–382).
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 ’08) (pp. 197–201).
Croy, M.J. (2000). Problem solving, working backwards, and graphic proof representation. Teaching Philosophy
(2), 169–187.CrossRefGoogle Scholar
Corbett, A.T., & Anderson, J.R. (1995). Knowledge Tracing: Modeling the Acquisition of Procedural Knowledge. User Modeling and User-Adapted Interaction
, 253–278.CrossRefGoogle Scholar
Despotovic-Zrakic, M., Markovic, A., Bogdanovic, Z., Barac, D., & Krco, S. (2012). Providing adaptivity in Moodle LMS courses. Educational Technology Society
(1), 326–338.Google Scholar
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 ’12) (pp. 615–617).
Eagle, M., & Barnes, T. (2014a). Modeling student dropout in tutoring systems. In Proceedings of the twelfth international conference on Intelligent Tutoring Systems (ITS ’14) (pp. 676–678).
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 ’14) (pp. 178– 187).
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 ’15) (pp. 35–44).
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 ’12).
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 ’14) (pp. 28–35).
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 ’14) (pp. 482–489).
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 ’13) (pp. 236–239).
Hilbert, T.S., & Renkl, A. (2009). Learning how to use a computer-based concept-mapping tool: self-explaining examples helps. Computers in Human Behavior
(2), 267–274.CrossRefGoogle Scholar
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 ’13) (pp. 170–179).
Klasnja-Milicevic, A., Vesin, B., Ivanovic, M., & Budimac, Z. (2011). E-learning personalization based on hybrid recommendation strategy and learning style identification. Computers Education
(3), 885–899.CrossRefGoogle Scholar
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 ’12) (pp. 118–125).
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 ’15) (pp. 94– 100).
Lukins, S., Levicki, A., & Burg, J. (2002). A tutorial program for propositional logic with human/computer interactive learning. ACM SIGCSE Bulletin
(1), 381–385. New York, NY: ACM.CrossRefGoogle Scholar
Ma, W., Adesope, O., Nesbit, J.C., & Liu, Q. (2014). Intelligent tutoring systems and learning outcomes: a meta-analysis. Journal of Educational Psychology
(4), 901–918.CrossRefGoogle Scholar
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–2181).
Merceron, A., & Yacef, K. (2005). Educational data mining: a case study. In Proceedings of the twelfth international conference on artificial intelligence in education (AIED ’05) (pp. 467–474).
Meyers, J.P. Jr. (1990). The central role of mathematical logic in computer science. In Miller, J.E., & Joyce, D.T. (Eds.) Proceedings of the twenty-first SIGCSE technical symposium on computer science education (SIGCSE ’90)
(pp. 22–26). New York, NY: ACM.CrossRefGoogle Scholar
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 ’02) (pp. 289–294).
Page, R.L. (2003). Software is discrete mathematics. In Proceedings of the eighth ACM SIGPLAN international conference on functional programming (ICFP ’03)
(pp. 79–86). New York, NY: ACM.CrossRefGoogle Scholar
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’ estimation vs. students’ perception. In Proceedings of the IEEE frontiers in education conference (pp. 1–5).
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–28.
Ritter, S. (2007). Cognitive tutor: applied research in mathematics education. Psychonomic Bulletin Review
(2), 249–255.CrossRefGoogle Scholar
Shih, B., Koedinger, K.R., & Scheines, R. (2008). A response time model for bottom-out hints as worked examples.
Sieg, W. (2007). The AProS project: strategic thinking & computational logic. Logic Journal of IGPL
(4), 359–368.CrossRefMATHGoogle Scholar
Steenbergen-Hu, S., & Cooper, H. (2014). A meta-analysis of the effectiveness of intelligent tutoring systems on college students’ academic learning. Journal of Educational Psychology
(2), 331.CrossRefGoogle Scholar
Sweller, J., & Cooper, G.A. (1985). The use of worked examples as a substitute for problem solving in learning algebra. Cognition and Instruction
(1), 59–89.CrossRefGoogle Scholar
VanLehn, K. (2006). The behavior of tutoring systems. International Journal of Artificial Intelligence in Education
(2), 227–265.Google Scholar
VanLehn, K. (2011). The relative effectiveness of human tutoring, intelligent tutoring systems, and other tutoring systems. Educational Psychologist
(4), 197–221.CrossRefGoogle Scholar
VanLehn, K., Lynch, C., Schulze, K., Shapiro, J.A., Shelby, R., Taylor, L., Treacy, D., Weinstein, A., & Wintersgill, M. (2005). The Andes physics tutoring system: lessons learned. International Journal of Artificial Intelligence in Education
(3), 147–203.MATHGoogle Scholar
Watering, G., & Rijt, J. (2006). Teachers and students perceptions of assessments: a review and a study into the ability and accuracy of estimating the difficulty levels of assessment items. Educational Research Review
(2), 133–147.CrossRefGoogle Scholar