Guided programming and automated error analysis in an intelligent Prolog tutor

International Journal of Human Computer Studies

Volumn 61, Issue 4, 2004, Pages 505-534

  Hong, Jun ^a,b  

^a UNIVERSITY OF ULSTER   (United Kingdom)

^b QUEEN'S UNIVERSITY BELFAST   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTATIONAL GRAMMARS; COMPUTER PROGRAMMING; ENCODING (SYMBOLS); ERROR ANALYSIS; ERROR CORRECTION; ERROR DETECTION; PROLOG (PROGRAMMING LANGUAGE);

AUTOMATED ERROR ANALYSIS; GUIDED PROGRAMMING; PROGRAM CONSTRUCTION;

INTELLIGENT AGENTS;

EID: 4344600729     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijhcs.2004.02.001     Document Type: Article

References (30)

1. Anderson J.R., Reiser B.J. The lisp tutor. Byte. 10:1985;159-175.
2. Bowles, A., Brna, P., 1999. Introductory Prolog: a suitable selection of programming techniques. In: Brna, P., duBoulay, B., Pain, H. (Eds.), Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study. Ablex, pp. 167-178.
3. Bowles, A., Robertson, D., Brna, P., 1999. A case-based reasoning approach to supporting novice programmers. In: Brna, P., duBoulay, B., Pain, H. (Eds.), Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study. Ablex, pp. 197-216.
4. Brna P., Bundy A., Dodd T., et al. Prolog programming techniques. Instructional Science. 20:1991;111-133.
5. Brna, P., Bundy, A., Dodd, T., et al., 1999. Programming techniques for prolog. In: Brna, P., duBoulay, B., Pain, H. (Eds.), Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study. Ablex, 143-166.
6. Bundy A., Grosse G., Brna P. A recursive techniques editor for Prolog. Instructional Science. 20:1991;135-172.
7. Buyukyildiz, H., Flener, P., 1998. Generalised logic program transformation schemas. In: Fuchs, N.E. (Ed.), Proceedings of LOPSTR'97 - International Symposium on Logic-based Program Synthesis and Transformation, Lecture Notes on Computer Science, Vol. 1463. Springer, Berlin, pp. 45-65.
8. Chasseur, E., Deville, Y., 1998. Logic program schemas, constraints and semi-unification. In: Fuchs, N.E. (Ed.), Proceedings of LOPSTR'97 - International Symposium on Logic-based Program Synthesis and Transformation, Lecture Notes on Computer Science, Vol. 1463. Springer, Berlin, pp. 69-89.
9. Flener, P., Deville, Y., 1996. Logic program transformation through generalization schemata. In: Proietti, M. (Ed.), Proceedings of LOPSTR'95 - International Symposium on Logic-based Program Synthesis and Transformation, Lecture Notes on Computer Science, Vol. 1048. Springer, Utrecht, The Netherlands, pp. 171-173.
10. Flener, P., Lau, K.-K., Ornahgi, M., 1998. On correct program schemas. In: Fuchs, N.E. (Ed.), Proceedings of LOPSTR'97 - International Symposium on Logic-based Program Synthesis and Transformation, Lecture Notes on Computer Science, Vol. 1463. Springer, Berlin, pp. l24-143.
11. Fuchs, N.E., Fromherz, M.P.J., 1992. Schema-based transformations of logic programs. In: Clement, T.P., Lau, K. (Eds.), Proceedings of LOPSTR'91 - International Symposium on Logic-based Program Synthesis and Transformation, Lecture Notes on Computer Science. Springer, Berlin, pp. 111-125.
12. Gegg-Harrison T.S. Learning Prolog in a schema-based environment. Instructional Science. 20:1991;173-192.
13. Gegg-Harrison T.S. Adapting instruction to the student's capabilities. Journal of Artificial Intelligence in Education. 3:1992;169-181.
14. Gegg-Harrison, T.S., May 1993. Exploiting program schemata in a prolog tutoring system. Ph.D. Dissertation, Technical Report CS-1993-11, Department of Computer Science, Duke University, Durham, North Carolina.
15. Gegg-Harrison T.S. Exploiting program schemata in an automated program debugger. Journal of Artificial Intelligence in Education. 5:1994;255-278.
16. Gegg-Harrison, T.S., 1995. Representing logic program schemata in Lambda-Prolog. In: Sterling, L.S. (Ed.), Proceedings of the 12th International Conference on Logic Programming. MIT Press, Kanagawa, Japan, pp. 467-481.
17. Gegg-Harrison, T.S., 1997. Extensible logic program schemata. In: Gallagher, J. (Ed.), Proceedings of LOPSTR'96 - the Sixth International Workshop on Logic Program Synthesis and Transformation, Lecture Notes on Computer Science, Vol. 1207. Springer, Berlin, pp. 256-274.
18. Gegg-Harrison, T.S., 1999. Exploiting program schemata to teach recursive programming. In: Brna, P., duBoulay, B., Pain, H. (Eds.), Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study. Ablex, pp. 347-379.
19. Johnson W.L., Soloway E. Proust. knowledge-based program understanding IEEE Transactions of Software Engineering. 11(3):1985;267-275.
20. Looi, C.K., 1988. Automatic program analysis for a prolog intelligent teaching system. Ph.D. Dissertation, Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland.
21. Looi C.K. Automatic debugging of prolog programs in a prolog tutoring system. Instructional Science. 20:1991;215-263.
22. McCalla G.I., Greer J.E., Barrie B., Pospisil P. Granularity hierarchies. Computers and Mathematics with Applications: Special Issue on Semantic Networks. 23:1992;363-376.
23. Richardson, J., Fuchs, N.E., 1998. Development of correct transformation schemata for Prolog programs. In: Fuchs, N.E. (Ed.), Proceedings of LOPSTR'97 - International Symposium on Logic-based Program Synthesis and Transformation, Lecture Notes on Computer Science, Vol. 1463. Springer, Berlin, pp. 263-282.
24. Soloway E.M. From problems to programs via plans. the content and structure of knowledge for introductory lisp programming Journal of Educational Computing Research. 1:1985;157-172.
25. Spohrer J.C., Soloway E., Pope E. A goal-plan analysis of buggy Pascal programs. Human-Computer Interaction. 1:1985;163-207.
26. Taylor, J., 1999. Analyzing novices analyzing Prolog: what stories do novices tell themselves about Prolog? In: Brna, P., duBoulay, B., Pain, H. (Eds.), Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study. Ablex, 43-71.
27. Taylor, J., du Boulay, B., 1987. Studying novice programmers: why they may find learning Prolog hard. In: Rutkowska, J.C., Crook, C. (Eds.), Computers, Cognition and Development: Issues for Psychology and Education. Wiley, New York.
28. van Someren M.W. What's wrong? Understanding beginners' problems with Prolog. Instructional Science. 19:1990;257-282.
29. VanLehn, K., 1996. Conceptual and meta learning during coached problem solving. In: Intelligent Tutoring Systems: Proceedings of the Third International Conference, ITS'96. Montreal, Canada, pp. 29-47.
30. Vasconcelos, W.W., Fuchs, N.E., 1996. An opportunistic approach for logic program analysis and optimization using enhanced schema-based transformations. In: Proietti, M. (Ed.), Proceedings of LOPSTR'95 - International Symposium on Logic-based Program Synthesis and Transformation, Lecture Notes on Computer Science, Vol. 1048. Springer, Utrecht, The Netherlands, pp. 174-188.