The logic tutor: A multimedia presentation

Interactive Multimedia Electronic Journal of Computer - Enhanced Learning

Volumn 3, Issue , 2001, Pages

  Abraham, David ^a,b   Crawford, Liz ^a,b   Lesta, Leanna ^a,b   Merceron, Agathe ^a,b   Yacef, Kalina ^a,b  

^a UNIVERSITY OF SYDNEY   (Australia)

^b UNIVERSITY OF SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL PROOFS; LOGIC TUTORS; MODULAR DESIGN;

COMPUTER AIDED DESIGN; COMPUTER AIDED INSTRUCTION; COMPUTER SCIENCE; ERROR ANALYSIS; FORMAL LOGIC; MULTIMEDIA SYSTEMS; STUDENTS; TEACHING;

LEARNING SYSTEMS;

EID: 0003368985     PISSN: 15259102     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (9)

1. Anderson, J.R. (1988). The expert module. In Foundations of intelligent tutoring systems, M.C. Polson & J.J Richardson, eds Hillsdale: NJ: Lawrence Erlbaum Associates, pp. 21-53.
2. Du Boulay, B. (2000). Can we learn from ITSs ?, Invited talk at the 5th International Conference on Intelligent Tutoring Systems, Montreal, June 2000.
3. Dugdale, S. (1992) The design of computer-based mathematics education. In Computer-Assisted Instruction and Intelligent Tutoring Systems: shared goals and complementary approaches. J.H Larkinand R.W Chabay, eds. Lawrence Erlbaum, pp. 11-45.
4. Greer J. & McCalla, G. (1994). Student Modelling, the key to individualised knowledge-based instruction. Berlin, Springer-Verlag.
5. Gugerty, L. & Hicks, K. (1993), Non-diagnostic intelligent tutoring systems, Proceedings of the 15th interservicelindustry training systems and education conference. Orlando, Florida, pp. 450-459.
6. Kay, J.(1997). Learner know thyself: student models to give learner control and responsibility. Keynote address at ICCE'97, Kuching.
7. Merceron, A. (2001). Languages and Logic. Pearson Education Australia.
8. Yacef, K. (1999) Towards an intelligent instructor-assistant system for training operators of complex and dynamic skills. Ph.D. Dissertation. University of Paris 5 and INRIA.
9. Yacef, K. (2000). Providing an intelligent tutoring aid to assist undergraduate teaching. SESQUI Internal proposal report, University of Sydney, Sydney, Australia.