An intelligent teaching assistant system for logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2363, Issue , 2002, Pages 421-431

  Lesta, Leanna ^a   Yacef, Kalina ^a  

^a UNIVERSITY OF SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED INSTRUCTION; EDUCATION COMPUTING; FORMAL LOGIC; INTELLIGENT VEHICLE HIGHWAY SYSTEMS;

CONFIGURATOR; INTELLIGENT TUTORING SYSTEM; PROPOSITIONAL LOGIC; TEACHING ASSISTANTS; TEACHING/LEARNING;

COMPUTER CIRCUITS;

EID: 84943269567     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47987-2_45     Document Type: Conference Paper

References (11)

1. Abraham, D., Crawford, L., Lesta, L., Merceron, A., Yacef, K. (2001). The Logic Tutor: A multimedia presentation, Interactive Multimedia Electronic Journal of Computer- Enhanced Learning, October 2001 issue (http://imej.wfu.edu/articles/2001/2/03/index.asp).
2. Anderson, J.R., Corbett, A.T., Koedinger, K.R. & Pelletier, R. (1995). Cognitive tutors: lessons learned. The Journal of the Learning Sciences, 4(2), pp 167-207.
3. Brusilovsky, P., Schwarz, E., and Weber, G. (1996). ELM-ART: An intelligent tutoring system on World Wide Web. In C. Frasson, G. Gauthier, & A.Lesgold (Eds.), Third International Conference on Intelligent Tutoring Systems, ITS-96 (Lecture Notes in Computer Science, Vol. 1086), Berlin: Springer Verlag, pp. 261-269.
4. Croy, M.J. (1989) CAI and Empirical Explorations of Deductive Proof Construction. In The Computers and Philosophy Newsletter, Vol 4, 111-127.
5. Kay, J. (2000). Invited keynote: Stereotypes, student models and scrutability. In Gauthier, G, Frasson, C & VanLehn, K (Eds): 5th International Conference on Intelligent Tutoring Systems, 19-30.
6. Kay, J. (2001). Learner control. International Journal on User Modeling and User- Adapted Interaction, 11 (1/2):111-127, Kluwer Academic Publishers.
7. Kobsa, A. (2001). Tailoring Privacy to Users’ Needs (Invited Keynote). In M. Bauer, P. J. Gmytrasiewicz and J. Vassileva, eds.: User Modeling 2001: 8th International Conference. Berlin-Heidelberg: Springer Verlag, 303-313.
8. Mark, M.A. & Greer, J.E. (1995). The VCR tutor: Effective Instruction for device operation. The Journal of the Learning Sciences, 4(2), 209-246.
9. Scheines, R. & Sieg W. (1994). Computer Environments for Proof Construction. Interactive Learning Environments, 4 (2), 159-169.
10. Wiggins, G & Trewin, S. (2000). A System for Concerned Teaching of Musical Aural Skills. In Proceedings of the 5th International Conference on Intelligent Tutoring Systems, Gauthier, G., Frasson, C & VanLehn, K (Eds), pp 494-503.
11. Yacef, K (2002). Intelligent Teaching Assistant Systems. University of Sydney Technical Report 533.