An intelligent tutoring system for program semantics

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


Download (247kB)
Official URL:


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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Users 4 not found.
Date Deposited: 01 Dec 2005
Last Modified: 11 Aug 2010 14:29

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)