Experimental Evaluation of Automatic Hint Generation for a Logic Tutor-Reference-Cited by-同舟云学术

Experimental Evaluation of Automatic Hint Generation for a Logic Tutor

Published:2011 Issue: Volume: Page:345-352
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Stamper John C.,Eagle Michael,Barnes Tiffany,Croy Marvin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21869-9_45

Reference15 articles.

1. Lecture Notes in Computer Science;V. Aleven,2004

2. Lecture Notes in Computer Science;T. Barnes,2008

3. 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–201 (2008)

4. Lecture Notes in Computer Science;J.E. Beck,2008

5. 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–155. IOS Publishers, Amsterdam (2007)

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Toward automatic motivator selection for autism behavior intervention therapy;Universal Access in the Information Society;2022-09-16

2. Leveraging Granularity: Hierarchical Reinforcement Learning for Pedagogical Policy Induction;International Journal of Artificial Intelligence in Education;2021-08-16

3. Evaluating Critical Reinforcement Learning Framework in the Field;Lecture Notes in Computer Science;2021

4. A Classification Framework for Practice Exercises in Adaptive Learning Systems;IEEE Transactions on Learning Technologies;2020-10-01

5. A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae;Journal of Computer Assisted Learning;2019-06-21