The LISP tutor: it approaches the effectiveness of a human tutor
BYTE - Lecture notes in computer science Vol. 174
Intention-based diagnosis of errors in novice programs
Intention-based diagnosis of errors in novice programs
Automated program recognition: a feasibility demonstration
Artificial Intelligence
Applying techniques to skeletons
Constructing logic programs
Learning programming in Prolog using schemata
ACM SIGPLAN Notices
Multistrategy Discovery and Detection of Novice Programmer Errors
Machine Learning - Special issue on multistrategy learning
Automatic Program DeBugging for Intelligent Tutoring Systems
Automatic Program DeBugging for Intelligent Tutoring Systems
Constraint-Based Tutors: A Success Story
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems
IEEE Transactions on Software Engineering
Guided programming and automated error analysis in an intelligent Prolog tutor
International Journal of Human-Computer Studies
A comparative analysis of cognitive tutoring and constraint-based modeling
UM'03 Proceedings of the 9th international conference on User modeling
Evaluation of a Constraint-based Error Diagnosis System for Logic Programming
Proceedings of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation
Hi-index | 0.00 |
Using the constraint-based modeling approach, we have developed a diagnostic component, which is able to identify errors made by learners of a logic programming language when implementing a given task specification. It uses patterns to hypothesize the intention of a learner and programming techniques to model conditions on the semantic well-formedness of the program code. These conditions are expressed by means of constraints, which are evaluated on the student solution. Guiding feedback can be derived from constraint violations and is presented to the student with different degrees of informativity. The component has been integrated into a web-based tutoring system and tested on a number of exercises by the participants of an introductory course in logic programming.