An intelligent tutoring system for program semantics

Barker, S. and Douglas, P. 2005. An intelligent tutoring system for program semantics. in: Selvaraj, H. and Srimani, P.K. (ed.) ITCC 2005: International Conference on Information Technology: Coding and Computing Los Alamitos, California, USA IEEE .

Chapter titleAn intelligent tutoring system for program semantics
AuthorsBarker, S. and Douglas, P.
EditorsSelvaraj, 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.

KeywordsE-Learning, Educational Software, Program Semantics
Book titleITCC 2005: International Conference on Information Technology: Coding and Computing
Year2005
PublisherIEEE
Publication dates
Published2005
Place of publicationLos Alamitos, California, USA
ISBN0769523153
Digital Object Identifier (DOI)https://doi.org/10.1109/ITCC.2005.82
File
Journal citation2, pp. 482-487
EventInternational Symposium on Information Technology: Coding and Computing (ITCC 2005)

Related outputs

Criteria for successful MSc research projects in computer forensics
Myers, C. and Douglas, P. 2010. Criteria for successful MSc research projects in computer forensics. CFET 2010: 4th International Conference on Cybercrime Forensics Education & Training. Canterbury Christ Church University 02 - 03 Sep 2010

Managing diverse expectations on a new MSc in computer forensics
Myers, C. and Douglas, P. 2008. Managing diverse expectations on a new MSc in computer forensics. Computer Forensics. University of Glamorgan 27 Nov 2008

The un-structured student
Myers, C. and Douglas, P. 2007. The un-structured student. in: Proceedings of the 24th British National Conference on Databases (BNCOD 2007): University of Glasgow, UK, July 3-5, 2007 Los Alamitos, USA IEEE . pp. 3-9

An e-learning tool for database administration
Douglas, P. and Barker, S. 2005. An e-learning tool for database administration. in: Selvaraj, H. and Srimani, P.K. (ed.) ITCC 2005: International Conference on Information Technology: Coding and Computing Los Alamitos, California, USA IEEE .

A logic programming e-learning tool for teaching database dependency theory
Douglas, P. and Barker, S. 2004. A logic programming e-learning tool for teaching database dependency theory. Linkoping Electronic Conference Proceedings ; Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8-9, 2004. 12, pp. 71-80.

Dependency theory e-learning tool
Douglas, P. and Barker, S. 2004. Dependency theory e-learning tool. in: Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04) USA IEEE .

An intelligent tutoring system for database transaction processing
Barker, S. and Douglas, P. 2004. An intelligent tutoring system for database transaction processing. ICEIS 2004: 6th International Conference on Enterprise Information Systems. Porto, Portugal 14-17 Apr 2004

A database transaction scheduling tool in Prolog
Barker, S. and Douglas, P. 2004. A database transaction scheduling tool in Prolog. Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP 2004, Saint Malo, September 8-9, 2004. 12, pp. 81-91.

Protecting federated databases using a practical implementation of a formal RBAC policy
Barker, S. and Douglas, P. 2004. Protecting federated databases using a practical implementation of a formal RBAC policy. in: Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04) USA IEEE .

Practical RBAC policy implementation for SQL databases
Barker, S. and Douglas, P. 2004. Practical RBAC policy implementation for SQL databases. in: De Capitani Di Vimercati, S., Indrakshi, R. and Indrajit, R. (ed.) Data and applications security XVII: status and prospects Boston, USA Kluwer Academic.

Implementing RBAC policies in PL/SQL
Barker, S., Douglas, P. and Fanning, T. 2003. Implementing RBAC policies in PL/SQL. in: Gudes, E. and Shenoi, S. (ed.) Research directions in data and applications security: IFIP TC11/WG11.3 16th Annual Conference on Data and Applications Security, July 28-31, 2002, Cambridge, UK Cambridge, UK Kluwer Academic Publishers.

An intelligent teaching tool for CRAS property satisfaction
Barker, S. and Douglas, P. 2003. An intelligent teaching tool for CRAS property satisfaction. BCS, Teaching, Learning and Assessment in Databases Seminar, part of Twentieth British National Conference on Databases: New Horizons in Information Management. Coventry, UK 14 Jul 2003

An e-learning tool for understanding schedule properties
Barker, S. and Douglas, P. 2003. An e-learning tool for understanding schedule properties. in: ITCC 2003: International Conference on Information Technology: Computers and Communications USA IEEE . pp. 53-59

Extended protected databases: a practical implementation
Barker, S. and Douglas, P. 2003. Extended protected databases: a practical implementation. in: Proceedings of 5th International Conference on Enterprise Information Systems (ICEIS2003): Angers, France, April 23-26, 2003 ICEIS Press.

SPITS: an intelligent tutorial systems for schedule properties
Barker, S. and Douglas, P. 2002. SPITS: an intelligent tutorial systems for schedule properties. in: Santana Torrellas, G.A. and Uskov, V. (ed.) Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education (CATE 2002): May 20-22, 2002, Cancun, Mexico Canada Acta Press.

Permalink - https://westminsterresearch.westminster.ac.uk/item/92qz4/an-intelligent-tutoring-system-for-program-semantics


Share this

Usage statistics

106 total views
213 total downloads
These values cover views and downloads from WestminsterResearch and are for the period from September 2nd 2018, when this repository was created.