References
- Alpert, S. R., Singley, M. K., Fairweather, P. G., 'Deployng Intelligent Tutors on the Web : An Architecture and an Example,' Int. J. of Artificial Intelligence in Education, Vol.10, pp.183-197, 1999
- Anderson, J., 'Acquisition of Proof Skills in Geometry' in Machine Learning, Morgan Kaufman, 1983
- Anderson, J., The Architecture of Cognition, Harvard University Press, 1983
- Anderson, J., 'The Expert Module,' in Foundations of Intelligent Tutoring Systems, Lawrence Erlbaum, 1988
- Anderson, J., Boyle, F., Corbett,A., Lewis, M., 'Cognitive Modeling and Intelligent Tutoring,' Artificial Intelligence, Vol.42, pp.7-49, 1990 https://doi.org/10.1016/0004-3702(90)90093-F
- Barr, A., Feigenbaum, E., The Handbook of Artificial Intelligence, Vol.1, William Kaufmann, 1981
- Barr, A., Feigenbaum, E., The Handbook of Artificial Intelligence, Vol.2, William Kaufmann, 1982
- Brown, J., Burton, R., DeKleer, J., 'Pedagogical, Natural Language and Knowledge Engineering Techniques in SOPHIE I,II and III,' in Intelligent Tutoring Systems, Academic Press, 1982
- Burns, H., Parlett, J., Redfield, C. (eds), Intelligent Tutoring Systems : Evaluation in Design, Lawrence Erlbaum, 1991
- Chen Y. R., Horng, T. L. A., Yang, D. L., 'A Java-Based Interactive Learning System of Junior High School Level Geometry,' in Learning Societies in the New Millennium : Creativity, Caring and Commitments (Proc. of ICCE 2000 - International Conf. on Computers in Education), 2000
- Collins, A., Brown, J., 'The Computer As a Tool for Learning Through Reflection,' in Learning Issues for Intelligent Tutoring Systems, Spinger-Verla, 1988
- Greer, J. et. al., Learning Societies in the New Millennium : Creativity, Caring and Commitments (Proc. of ICCE 2000 - International Conf. on Computers in Education), 2000
- Hwang, F. K., 'A Constructivist Virtual Physics Laboratory,' in Learning Societies in the New Millennium : Creativity, Caring and Commitments (Proc. of ICCE 2000 - International Conf. on Computers in Education), 2000
- Kearsley, G. (ed.), Artificial Intelligence and Instructuon : Applications and Methods, Addison-Wesley, 1987
- Larkin, J., McDermott, J., Simon, D., Simon, H., 'Models of Competence in Solving Physics Problems,' Cognitive Science, Vol.4, pp.317-348, 1980 https://doi.org/10.1016/S0364-0213(80)80008-5
- Lawler, R., Yazdani, M. (eds), Artificial Intelligence and Education, Vol.1, Ablex, 1987
- Lawson, M., Chinnappan, M., 'Generative Activity During Geometry Problem Solving : Comparison of the Performance of High-Archieving and Low-Achieving High School Students,' Cognition and Instruction, Vol.12, pp.61-93, 1994 https://doi.org/10.1207/s1532690xci1201_3
- Leloche, R., 'Use of Abstraction Levels in the Design of Intelligent Tutoring Systems,' in Learning Societies in the New Millennium : Creativity, Caring and Commitments (Proc. of ICCE 2000 - International Conf. on Computers in Education), 2000
- Mandl, H., Lesgold, A. (eds), Learning Issues for Intelligent Tutoring Systems, Spinger-Verlag, 1988
- Michalski, R., Carbonell, J., Mitchell, T. (eds), Machine Learning, Morgan Kaufmann, 1983
- Ogata, H., Yano, Y., 'Combining Knowledge Awareness and Information Filtering in an Open-Ended Collaborative Learning Environment,' Int. J. of Artificial Intelligence in Education, Vol.11, pp.33-46, 2000
- Polson, M., Richardson, J. (eds), Foundations of Intelligent Tutoring Systems, Lawrence Erlbaum, 1988
- Sleeman, D., Brown, J., Intelligence Tutoring Systems, Academic Press, 1982
- VanLehn, K., 'Student Modeling,' in Foundations of Intelligent Tutoring Systems, Lawrence Erlbaum, 1988
- Wenger, E. (ed), Artificial Intelligence and Tutoring Systems, Morgan Kaufmann, 1987
- White, B., Frederiksen, J., 'Qualitative Models and Intelligent Learning Environment,' in Artificial Intelligence and Education, Vol.1, Ablex, 1987
- White, B., Frederiksen, J., 'Causal Model Progressions As a Foundation for Intelligent Environments,' Artificial Intelligence, Vol.42, pp.97-157, 1990 https://doi.org/10.1016/0004-3702(90)90095-H
- Woolf, B., 'Theoretical Frontiers in Building a Machine Tutor,' in Artificial Intelligence and Instruction : Applications and Methods, Addison-Wesley, 1987
- Woolf, B., 'Representing, Acquiring, and Reasoning about Tutoring Knowledge,' in Intelligent Tutoring Systems : Evolution in Design, Lawrence Erlbaum, 1991
- 국형준, '기하 문제 학습을 위한 동적 추론체계', 한국정보과학회논문지-소프트웨어 및 응용, Vol.27, pp.412-421, 2000
- 국형준, '효과적 문제해결 학습을 위한 지능형 기하 교수 시스템', 한국정보과학회논문지(B), Vol.25, pp.1090-1100, 1998
- URL1, http://www.ghg.net/clpis/CLIPS.html, 'Clips : A Tool for Building Expert Systems.'