Author of the publication

Experimental Evaluation of Automatic Hint Generation for a Logic Tutor.

, , , and . AIED, volume 6738 of Lecture Notes in Computer Science, page 345-352. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Experimental Evaluation of Automatic Hint Generation for a Logic Tutor., , , and . I. J. Artificial Intelligence in Education, 22 (1-2): 3-17 (2013)Enhancing the Automatic Generation of Hints with Expert Seeding., , and . I. J. Artificial Intelligence in Education, 21 (1-2): 153-167 (2011)The use of CAI to enhance human interaction in the learning of deductive proof construction.. Computers and the Humanities, 22 (4): 277-284 (1988)Extracting Student Models for Intelligent Tutoring Systems., , and . AAAI, page 1900-1901. AAAI Press, (2007)Automatic Generation of Proof Problems in Deductive Logic., , and . EDM, page 289-294. www.educationaldatamining.org, (2011)A pilot study on logic proof tutoring using hints generated from historical student data., , , and . EDM, page 197-201. www.educationaldatamining.org, (2008)Using a Bayesian Knowledge Base for Hint Selection on Domain Specific Problems., , and . EDM, page 327-328. www.educationaldatamining.org, (2010)Ethical Issues Concerning Expert Systems' Application in Education.. AI Soc., 3 (3): 209-219 (1989)Experimental Evaluation of Automatic Hint Generation for a Logic Tutor., , , and . AIED, volume 6738 of Lecture Notes in Computer Science, page 345-352. Springer, (2011)Enhancing the Automatic Generation of Hints with Expert Seeding., , and . Intelligent Tutoring Systems (2), volume 6095 of Lecture Notes in Computer Science, page 31-40. Springer, (2010)