WestminsterResearch

An intelligent tutoring system for program semantics

Barker, Steve and Douglas, Paul (2005) An intelligent tutoring system for program semantics. In: Selvaraj, Henry and Srimani, Pradip K., (eds.) ITCC 2005: International Conference on Information Technology: Coding and Computing. IEEE Computer Society, Los Alamitos, California, USA, pp. 482-487. ISBN 0769523153

[img]
Preview
PDF
241Kb

Official URL: http://dx.doi.org/10.1109/ITCC.2005.82

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.

Item Type:Book Section
Uncontrolled Keywords:E-Learning, Educational Software, Program Semantics
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:980
Deposited On:01 Dec 2005
Last Modified:11 Aug 2010 15:29

Repository Staff Only: item control page