Chapter title | An intelligent tutoring system for program semantics |
---|
Authors | Barker, S. and Douglas, P. |
---|
Editors | Selvaraj, H. and Srimani, P.K. |
---|
Abstract | In this paper, we describe an item of e-learning software that is intended to help students taking university computer science courses to understand the fundamentals of logic programming and deductive database semantics. The software is implemented in PROLOG and empowers students to explore their understanding of the semantics of logic programs and deductive databases. The software is also able to intelligently diagnose student misconceptions and includes a number of example programs/databases that permit students to test their understanding. We describe the development and evaluation of the software, and we present details of the analysis of the results of our investigation into the effectiveness of our e-learning tool. The results of our field study of the e-learning tool suggests that it of value in helpingstudents to understand program and database semantics. |
---|
Keywords | E-Learning, Educational Software, Program Semantics |
---|
Book title | ITCC 2005: International Conference on Information Technology: Coding and Computing |
---|
Year | 2005 |
---|
Publisher | IEEE |
---|
Publication dates |
---|
Published | 2005 |
---|
Place of publication | Los Alamitos, California, USA |
---|
ISBN | 0769523153 |
---|
Digital Object Identifier (DOI) | https://doi.org/10.1109/ITCC.2005.82 |
---|
File | |
---|
Journal citation | 2, pp. 482-487 |
---|
Event | International Symposium on Information Technology: Coding and Computing (ITCC 2005) |
---|