An intelligent tutoring system for teaching and learning Hoare logic

Proceedings - 4th International Conference on Computational Intelligence and Multimedia Applications, ICCIMA 2001

Volumn , Issue , 2001, Pages 293-297

  Goshi, K ^a   Wray, P ^b   Sun, Yong ^b  

^a KYUSHU UNIVERSITY   (Japan)

^b QUEEN'S UNIVERSITY BELFAST   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER AIDED INSTRUCTION; COMPUTER CIRCUITS; CURRICULA; EDUCATION; EDUCATION COMPUTING; INTELLIGENT VEHICLE HIGHWAY SYSTEMS; RECONFIGURABLE HARDWARE;

COMPUTER SCIENCE CURRICULA; EDUCATION SYSTEMS; HOARE LOGIC; INTELLIGENT TUTORING SYSTEM; INTELLIGENT TUTORING SYSTEM (ITSS); PRACTICAL USE; TEACHING AND LEARNING;

TEACHING;

EID: 84904560304     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCIMA.2001.970482     Document Type: Conference Paper

References (8)

1. J. Hong, "An Intelligent Tutoring and Assessing System for Prolog Programming", in Proceedings of the Artificial Intelligence in Education Knowledge and Media in Learning Systems, IOS Press, 1997, pp. 586-588.
2. V. Devedic, and J. Debenham, "An Intelligent Tutoring System for Teaching Formal Languages", in Proceedings of the 4th International Conference ITS' 98 Proceedings, Springer, 1998, pp. 514-523.
3. J. Whittle, A. Bundy, H. Lowe, "Supporting Programming by Analogy in the Learning of Functional Programming Languages", in Proceedings of the Artificial Intelligence in Education Knowledge and Media in Learning Systems, IOS Press, 1997, pp. 677-679.
4. J. L. Gersting, Mathematical Structures for Computer Science, Computer Science Press, 1993, pp. 49-69, 123-132.
5. K. Goshi, P. Wray, and Y. Sun, "Development of an Intelligent Tutoring System for Teaching and Learning Hoare Logic", in Proceedings of the 6th Chinese Automation & Computer Science in the UK, Pacilantic International, 2000, pp.131-134.
6. K. Goshi, P. Wray, Y. Sun, and M. Owens, "Design of an Intelligent Tutoring System for Teaching and Learning Hoare Logic", in Proceedings of the Artificial Intelligence and Education, 1999, pp. 696-698.
7. K. Goshi, J. Cheng, and K. Ushijima, "ALPS-HI: An Annotated Logic Programming System with Hypothetical Implications", in Proceedings of PACES/SPICIS'97, 1997, pp. 649-656.
8. K. Goshi, J. Cheng, and K. Ushijima, "Application of ALPS-HI to an Intelligent Help System", in Proceedings of ICCIMA'97, 1997, pp. 230-234.