An application of formal semantics to student modelling : an investigation in the domain of teaching Prolog
This thesis reports on research undertaken in an exploration of the use of formal semantics for student modelling in intelligent tutoring systems. The domain chosen was that of tutoring programming languages and within that domain Prolog was selected to be the target language for this exploration. T...
Main Author: | Fung, Pat |
---|---|
Published: |
Open University
1989
|
Subjects: | |
Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.329197 |
Similar Items
-
A formal semantics of parallel features of Fortran 95
by: Reid, N. K.
Published: (2003) -
Plan recognition and student modelling in the UNIX domain
by: Woodroffe, M. R.
Published: (1989) -
Automatic program analysis in a Prolog Intelligent Teaching System
by: Looi, Chee-Kit
Published: (1988) -
Studies of and/or parallelism in Prolog
by: Shen, Kish
Published: (1992) -
Prolog and expert systems
by: Davies, Peter Leslie
Published: (1987)