References
- Anderson , J. R. 1983 . “ Acquisition of proof skills in geometry ” . In Machine learning: An artificial intelligence approach , Edited by: Michalski , R. S. , Carbonell , J. C. and Mitchell , T. M. Vol. 1 , Palo Alto, CA : Tioga .
- Anderson , J. R. , Boyle , C. F. , Corbett , A. T. and Lewis , M. W. 1990 . Cognitive modeling and intelligent tutoring . AI , 42 : 7 – 49 .
- Anderson , J. R. and Jeffries , R. 1985 . Novice LISP errors: Undetected losses of information from working memory . Human‐Computer Interaction , 22 : 403 – 423 .
- Andreae , P. M. 1984 . Justified generalization: Acquiring procedures from examples , Department of Engineering and Computer Science, Massachusetts Institute of Technology . Unpublished doctoral dissertation
- Brown , J. and VanLehn , K. 1980 . Repair theory: A generative theory of bugs in procedural skills . Cognitive Science , 4 : 379 – 426 .
- 1991 . CLOS reference manual , Cambridge, MA : Gold Hill Inc. .
- Genesereth , M. R. and Nilsson , N. J. 1987 . Logical foundations of artificial intelligence , Palo Alto, CA : Morgan Kauffman .
- Goldstein , I. P. 1982 . “ WUMPUS ” . In Handbook of AI , Edited by: Barr , A. and Geigenbaum , E. A. Vol. 11 , Reading, MA : Addison‐Wesley .
- Halbert , D. 1984 . Programming by example , (Research Rep. No. OSD‐T8402) Palo Alto, CA : Xerox PARC .
- Heise , R. 1989 . Demonstration instead of programming: Focusing attention in robot task acquisition , Canada : Department of Computer Science, University of Calgary . Unpublished master's thesis
- Krawchuck , B. and Witten , I. H. On asking the right questions . Proceedings of the Fifth Machine Learning Conference . Palo Alto, CA. Morgan Kaufmann .
- Lewis , M. W. , Milson , R. and Anderson , J. R. 1987 . “ The teacher's apprentice: Designing authoring system for high school mathematics ” . In Artificial intelligence and instruction—Applications and methods , Edited by: Kearsley , G. P. Reading, MA : Addison‐Wesley .
- MacDonald , B. A. and Witten , I. H. Programming computer controlled systems by non‐experts . Proceedings of the IEEE SMC Annual Conference . Alexandria, VA. IEEE Press .
- Maulsby , D. L. , Witten , I. H. and Kittlitz , K. A. 1989 . METAMOUSE: Specifying graphical procedures by example . Computer Graphics , 3 : 127 – 136 .
- Michalski , R. 1983 . A theory and methodology of inductive learning . AI , 20 : 111 – 161 .
- Mitchell , T. M. 1982 . Generalization as search . AI , 18 : 203 – 226 .
- Mitrović , A. 1991a . Interactive induction of procedures using techniques of machine learning based on similarities in examples , Yugoslavia : Department of Computer Science, University of Niš . Unpublished master's thesis, (in Serbian)
- Mitrović , A. 1991b . Learning procedures by similarity , (Research Rep. No. 91/421/95) Canada : University of Calgary, Department of Computer Science .
- Mitrović , A. 1994 . Reconstructive approach to student modeling in intelligent educational systems , Yugoslavia : University of Ni3, Department of Computer Science . Unpublished doctoral dissertation, (in Serbian)
- Mitrović , A. , Djordjević , S. and Stoimenov , L. SINT—An intelligent system for tutoring symbolic integration . Paper presented at ETRAN'94 . Nis, Yugoslavia. June .
- Mitrović , A. , Witten , I. H. and Maulsby , D. L. 1994 . An experiment in the application of similarity‐based learning to programming‐by‐example . International Journal of Intelligent Systems , 9 : 341 – 364 .
- Mo , D. H. and Witten , I. H. 1992 . Learning text editing taste from examples: A procedural approach . Behavior and information Technology , 11 : 32 – 45 .
- Mooney , R. 1993 . Induction over the unexplained: Using overly‐general domain theories to aid concept learning . Machine Learning , 10 : 79 – 110 .
- Moore , J. D. and Paris , C. L. 1992 . Exploiting user feedback to compensate for the unreliability of user models . User Modeling and User‐Adapted Interaction , 2 : 287 – 330 .
- Murray , T. and Woolf , B. P. Results of encoding knowledge with tutor construction tools . Proceedings of the Tenth National Conference on AI . San Jose, CA. AAAI Press .
- Nix , R. Editing by example . ACM Symposium on Principles of Programming Languages . pp. 186 – 195 .
- Ohlsson , S. and Langley , P. 1988 . “ Psychological evaluation of path hypotheses in cognitive diagnosis ” . In Learning issues for intelligent tutoring systems , Edited by: Mandl , H. and Lesgold , A. New York : Springer‐Verlag .
- Sammut , C. and Banerji , R. B. 1986 . “ Learning concepts by asking questions ” . In Machine learning: An artificial intelligence approach , Edited by: Anderson , J. R. , Michalski , R. S. , Carbonell , J. C. and Mitchell , T. M. Vol. 2 , Los Altos, CA : Morgan Kaufman .
- Sleeman , D. H. , Langloey , P. and Mitchell , T. M. 1982 . Learning from solution paths: An approach to the credit assignment problem . AI Magazine , 3 (1) : 48 – 52 .
- VanLehn , K. 1988 . “ Towards a theory of impasse‐driven learning ” . In Learning issues for intelligent tutoring systems , Edited by: Mandl , H. and Lesgold , A. New York : Springer‐Verlag .
- Vassileva , J. 1990 . An architecture and methodology for creating a domain‐independent, plan‐based intelligent tutoring system . Educational and Training Technology International , 27 : 386 – 397 .
- Wenger , E. 1987 . Artificial intelligence and tutoring systems , Los Altos, CA : Morgan Kaufmann .
- Woolf , B. and McDonald , D. D. 1984 . Building a computer tutor: Design issues . IEEE Computer , 17 (9) : 61 – 73 .