How to program a domain independent tracer for explanations

Journal of Interactive Learning Research

Volumn 17, Issue 1, 2006, Pages 57-69

  Ishizaka, Alessio ^a   Lusti, Markus ^b  

^a UNIVERSITY OF EXETER   (United Kingdom)

^b UNIVERSITY OF BASEL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33845693752     PISSN: 1093023X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (21)

1. Born, A., (1995). A blackboard approach to a knowledge-based tutoring system for linear programming. In J. Greer (Ed.), AI - ED 95, Proceedings of the 7th World Conference on AI in Education, (p. 569). Washington, DC.
2. Born, A., & Lusti, M. (1996). An architecture for knowledge based tutoring systems in algorithmic domains. In P. Brna, A. Paiva, & J. Self (Eds.), European Conference on Artificial Intelligence in Education, (pp. 291-297). Lissabon, Portugal.
3. Crowley, R.S., & Medvedeva, O. (2003). A general architecture for intelligent tutoring of diagnostic classification problem solving. AMIA Annual Symposium Proceedings, (pp. 185-189).
4. Dichev, C., & Du Boulay B., (1989). An enhanced trace tool for prolog. Proceedings of the Third International Conference: Children In the Information Age, Human Development and Emerging Technologies, (pp. 149-163). Sofia, Bulgaria.
5. Ducassé, M. (1999). Opium: An extendable trace analyser for Prolog. The Journal of Logic Programming, Special Issue on Synthesis, Transformation and Analysis of Logic Programs, 39, 177-223.
6. Ducassé, M., & Noye, J. (1994). Logic programming environments: Dynamic program analysis and debugging. The Journal of Logic Programming, 19-20, 351-384.
7. Ducassé, M., Langevine, L., & Deransart, P. (2003). Rigorous design of tracers: An experiment for constraint logic programming. In M. Ronsse & K. De Bosschere (Eds.), Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003, pp. 171-185), Ghent, Belgium.
8. Eisenstadt, M. (1984). A powerful prolog trace package. In Tim O'Shea (Ed.), Proceedings of the Sixth European Conference on Artificial Intelligence (ECAI-84, pp. 149-158). Pisa, Italy.
9. Eisenstadt, M. (1985). Retrospective zooming: A knowledge based tracking and debugging methodology for logic programming. Proceedings of the International Joint Conferences on Artificial Intelligence, (pp. 717-719).
10. Ishizaka, A., & Lusti, M., (2003). An intelligent tutorial system for AHP. In K. Soric, T. Hunjak, R. Scitovski, (Eds.), Proceedings of the 9th International Conference on Operational Research KOI 2002, (pp. 215-223).
11. Lakhotia, A., Sterling, L., & Bojantchev, D., (1995). Development of a prolog tracer by stepwise enhancement. Proceedings of the Third International Conference on Practical Applications of Prolog, (pp. 353-393). Paris, France.
12. Lusti, M. (1990). Wissensbasierte systeme. Algorithmen, datenstrukturen und werkzeuge. Bibliographisches Institut/Wissenschaftsverlag, Mannheim.
13. Lusti, M. (1995). An authoring component for protocol driven hypertext explanations. Artificial Intelligence in Education, Proceedings of EDMEDIA (pp. 290-298). Charlottesville, VA: Association for the Advancement of Computing in Education.
14. Muntjewerff, A., & Winkels, R. (1995). ROSA; A model based computer system for teaching legal case solving. In J.C. Hage, T.J.M. Bench-Capon, M.J. Cohen, & H.J. Van den Herik (Eds.), Legal Knowledge Based Systems JURIX '95: Telecommunication and AI & Law, (pp. 133-141). Lelystad, Holland.
15. Patel, M.J., Taylor, C., & Du Boulay, J.B.H. (1994). Textual tree (prolog) tracer: An experimental evaluation. In D. Gilmore, R. Winder, & F. Detienne (Eds.), User-centred requirements for software engineering environments, (pp. 127-141). Berlin: Springer-Verlag.
16. Rätz, T. (1993). Erklärungen in wissenbasierten lernsystemen am beispiel eines tutors zur normalisierung von datenbanken. Doctoral dissertation, Peter Lang, Frankfurt am Main.
17. Ratz, T., & Lusti, M. (1992). Explanation strategies: Realization in a tutor for database normalization, European Conference on AI, (pp. 47-56). Paris, France.
18. Taylor, C., Du Boulay, B., & Patel, M. (1991). Outline proposal for a prolog "textual tree tracer" (TTT). Cognitive Science Research Paper 177, School of Cognitive and Computing Sciences, University of Sussex, UK.
19. Trapp, U. (2000). Komponententechnologien zur flexibilisierung konventioneller lernsysteme am beispiel einer wissenbasierten erklärungskomponente. Doctoral dissertation, Basle University, http://www.dissertation.de, Berlin.
20. Trapp, U., & Lusti, M. (1999). A domain independent authoring environment for problem solving knowledge, Artificial Intelligence in Education, International Artificial Intelligence in Education Society, (pp. 768-770). Le Mans, France.
21. Yalcinalp, L.U. (1991). Metaprogramming for knowledge-based systems in prolog, Unpublished doctoral dissertation, Case Western Reserve University, Cleveland, OH.