Managing Incomplete Knowledge and Forward Processing by an ITS Shell

REFERENCES

• Bratko , I. 1987 . Programming in Prolog for the Artificial Intelligence , Reading , Massachusetts : Addison‐Wesley Publishing Company . Chapter 14
   Google Scholar
• Brownston , L. , Farrell , R. , Kant , E. and Martin , N. 1984 . Programming Expert Systems in OPS5: an Introduction to Rule‐based Programming , Reading , Massachusetts : Addison‐Wesley .
   Google Scholar
• Clocksin , F.W. and Mellish , C.S. 1987 . Programming in Prolog , 3rd edition , Berlin : Springer‐Verlag .
   Google Scholar
• Haque , M. , Rovick , A. , Michael , A. and Evens , M. May 1989 . Tutoring Rule Authoring System (TRAS) , Proc. of ICCAL 9/11 May , 182 – 192 . Dallas , Texas : LNCS n° 360, Springer‐Verlag . 1989
   Google Scholar
• Lunger , G.F. and Stubblefield , W.A. 1989 . Artificial Intelligence and Design of Expert Systems , California : Benjamin/Cummings Publishing .
   Google Scholar
• McFarland , D.T. and Parker , R. 1990 . Expert Systems in Education and Training , Englewood Cliffs , New Jersey : Educational Technology Publications .
   Google Scholar
• Quigley , M. May 1989 . “ Computer Tutoring of Linear Equations ” . In Artificial Intelligence and Education , Proc. of the 4th Int. Conf. on A.I. and Educ May , 24 – 26 . 210 – 217 . Amsterdam
   Google Scholar
• Rich , E. 1983 . Artificial Intelligence , New York : McGraw Hill .
   Google Scholar
• Rolston , D.W. 1991 . Expert Systems , New York : McGraw‐Hill .
   Google Scholar
• Rowe , N.C. 1988 . Artificial Intelligence Through Prolog , New Jersey : Prentice‐Hall International .
   Google Scholar
• Shapiro , E. and Sterling , L. 1988 . The Art of Prolog Advanced Programming Techniques , 303 – 332 . Massachusetts and England : The MIT Press . Chapter 19
   Google Scholar
• Shortliffe , E.H. 1976 . Computer‐based Medical Consultations: MYCIN , New York : Elsevier .
   Google Scholar
• Sleeman , D. 1989 . “ PIXIE: a Shell for developing Intelligent Tutoring Systems ” . In Intelligent CAI Edited by: Yazdani , M. and Lawler , R. New Jersey
   Google Scholar
• Wenger , E. 1987 . Artificial Intelligence and Tutoring Systems , Los Altos , California : Morgan Kaufmann .
   Google Scholar