{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T08:57:41Z","timestamp":1762160261964,"version":"build-2065373602"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["User Model User-Adap Inter"],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bf00158953","type":"journal-article","created":{"date-parts":[[2004,11,4]],"date-time":"2004-11-04T07:31:34Z","timestamp":1099553494000},"page":"87-115","source":"Crossref","is-referenced-by-count":42,"title":["Revising deductive knowledge and stereotypical knowledge in a student model"],"prefix":"10.1007","volume":"1","author":[{"given":"Xueming","family":"Huang","sequence":"first","affiliation":[]},{"given":"Gordon I.","family":"McCalla","sequence":"additional","affiliation":[]},{"given":"Jim E.","family":"Greer","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Neufeld","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/j.1755-2567.1982.tb00480.x","volume":"48","author":"C. Alchourron","year":"1982","unstructured":"Alchourron, C. and D. Makinson: 1982, ?On the Logic of Theory Change: Contraction Functions and Their Associated Revision Functions?. Theoria 48, 14?37.","journal-title":"Theoria"},{"issue":"2","key":"CR2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourron","year":"1985","unstructured":"Alchourron, C. P. Gardenfors, and D. Makinson: 1985, ?On the Logic of Theory Change: Partial Meeting Contraction and Revision Functions?. Journal of Symbolic Logic 50(2), 510?530.","journal-title":"Journal of Symbolic Logic"},{"key":"CR3","unstructured":"Burton, R. R. and J. S. Brown: 1982, ?An Investigation of Computer Coaching for Informal Learning Activities?. In: D. Sleeman and J. S. Brown (eds.), Intelligent Tutoring Systems, Harcourt Brace Jovanovich, pp. 79?98."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Chin, D. N.: 1989, ?KNOME: Modeling What the User Knows in UC?. In: A. Kobsa and W. Wahlster (eds.), User Models in Dialog Systems, Springer-Verlag, pp. 74?107.","DOI":"10.1007\/978-3-642-83230-7_4"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Clancey, W. J.: 1986, ?Qualitative Student Models?. In: J. F. Traub (ed.), Annual Review of Computer Science 1, pp. 381?450.","DOI":"10.1146\/annurev.cs.01.060186.002121"},{"key":"CR6","unstructured":"Clancey, W. J.: 1987, Knowledge-Based Tutoring: The GUIDON Program, The MIT Press."},{"key":"CR7","unstructured":"Dalal, M.: 1988, Investigation into a Theory of Knowledge Base Revision: Preliminary Report. Proceedings AAAI-88, Saint Paul, MN, pp. 475?479."},{"issue":"2","key":"CR8","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J.: 1986, ?An Assumption-Based TMS?. Artificial Intelligence 28(2), 127?162.","journal-title":"Artificial Intelligence"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"de Kleer, J. and B. C. Williams: 1987, ?Diagnosing Multiple Faults?. Artificial Intelligence 32, 97?130.","journal-title":"Artificial Intelligence"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J.: 1979, ?A Truth Maintenance System?. Artificial Intelligence 12, 231?272.","journal-title":"Artificial Intelligence"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Fagin, R. J. D. Ullman, and M. Y. Vardi: 1983, ?On the Semantics of Updates in Databases?. Proceedings of the Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Atlanta, pp. 352?365.","DOI":"10.1145\/588058.588100"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Finin, T.: 1989, ?GUMS?A General User Modeling Shell?. In: A. Kobsa and W. Wahlster (eds.), User Models in Dialog Systems, Springer-Verlag, pp. 411?430.","DOI":"10.1007\/978-3-642-83230-7_15"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Finin, T. and D. Drager: 1986, GUMS1: A General User Modelling System. Proceedings CSCSI-86, Montreal, Canada, pp. 24?30.","DOI":"10.3115\/1077146.1077173"},{"issue":"2","key":"CR14","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1080\/00048408412341331","volume":"62","author":"P. Gardenfors","year":"1984","unstructured":"Gardenfors, P.: 1984, ?Epistemic Importance and Minimal Changes of Belief?. Australasian Journal of Philosophy 62(2), 136?157.","journal-title":"Australasian Journal of Philosophy"},{"key":"CR15","unstructured":"Gardenfors, P.: 1990, ?The Dynamics of Belief Systems: Foundations vs. Coherence Theories?. Revue Internationale de Philosophie, to appear."},{"key":"CR16","unstructured":"Gardenfors, P. and D. Makinson: 1988, ?Revision of Knowledge Systems Using Epistemic Entrenchment?. In: M. Y. Vardi (ed.), Proceedings of the Second Conferences on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann Publishers,Inc., pp. 83?95."},{"key":"CR17","unstructured":"Garey, M. R. and D. S. Johnson: 1979, Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/S0020-7373(79)80005-X","volume":"11","author":"I. P. Goldstein","year":"1979","unstructured":"Goldstein, I. P.: 1979, ?The Genetic Graph: A Representation for the Evolution of Procedural Knowledge?. Int. J. Man-Machine Studies 11, 51?77.","journal-title":"Int. J. Man-Machine Studies"},{"key":"CR19","unstructured":"Greer, J. E. and G. I. McCalla: 1989, A Computational Framework for Granularity and Its Application to Educational Diagnosis. Proceedings IJCAI-89, Detroit, Michigan, pp. 477?482."},{"key":"CR20","volume-title":"Change in View: Principles of Reasoning","author":"G. Harman","year":"1986","unstructured":"Harman, G.: 1986, Change in View: Principles of Reasoning. MIT Press, Cambridge, Massachusetts."},{"key":"CR21","unstructured":"Huang, X.: 1989, ?A Study of the Hitting Set Problem?. Manuscript, Department of Computational Science, University of Saskatchewan."},{"key":"CR22","unstructured":"Huang, X. G. I. McCalla and E. Neufeld: 1991, ?Using Attention in Belief Revision?. proceedings AAAI-91, Anaheim, California (to appear)."},{"key":"CR23","unstructured":"Kass, R.: 1990, ?Building a User Model Implicitly from a Cooperative Advisory Dialog?. Advance Papers of the 2nd International Workshop on User Modeling, Honolulu, HI."},{"key":"CR24","unstructured":"Kass, R. and T. Finin: 1987, Rules for the Implicit Acquisition of Knowledge about the User. Proceedings AAAI-87, Seattle, pp. 295?300."},{"key":"CR25","unstructured":"Kimball, R.: 1982, ?A Self-Improving Tutor for Symbolic Integration?. In: D. Sleeman and J. S. Brown (eds.), Intelligent Tutoring Systems Harcourt Brace Jovanovich."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Kobsa, A.: 1990, ?Modeling the User's Conceptual Knowledge in BGP-MS, a User Modeling Shell System?. Computational Intelligence 6(4).","DOI":"10.1111\/j.1467-8640.1990.tb00295.x"},{"key":"CR27","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF00869410","volume":"62","author":"D. Makinson","year":"1985","unstructured":"Makinson, D.: 1985, ?How to Give It Up: A Survey of Some Formal Aspects of the Logic of Theory Change?. Synthese 62, 347?363.","journal-title":"Synthese"},{"issue":"1","key":"CR28","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(88)90031-8","volume":"35","author":"J. P. Martins","year":"1988","unstructured":"Martins, J. P. and S. C. Shapiro: 1988, ?A Model for Belief Revision?. Artificial Intelligence 35(1), 25?79.","journal-title":"Artificial Intelligence"},{"key":"CR29","unstructured":"McCalla, G. I. J. E. Greer, and the SCENT Research Team: 1988, Intelligent Advising in Problem Solving Domains: The SCENT-3 Architecture. Proceedings ITS-88, Montreal, pp. 124?131."},{"key":"CR30","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: 1980, ?A Logic for Default Reasoning?. Artificial Intelligence 13, 81?132.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"CR31","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: 1987, ?The Theory of Diagnosis from First Principles?. Artificial Intelligence 32(1), 57?95.","journal-title":"Artificial Intelligence"},{"key":"CR32","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1207\/s15516709cog0304_3","volume":"3","author":"E. Rich","year":"1979","unstructured":"Rich, E.: 1979, ?User Modelling via Stereotypes?. Cognitive Science 3, 329?354.","journal-title":"Cognitive Science"},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"Rich, E.: 1989, ?Stereotypes and User Modeling?. In: A. Kobsa and W. Wahlster (eds.), User Models in Dialog Systems, Springer-Verlag, pp. 35?51.","DOI":"10.1007\/978-3-642-83230-7_2"},{"key":"CR34","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/CBO9780511809477.010","volume-title":"Judgement Under Uncertainty: Heuristics and Biases","author":"L. Ross","year":"1982","unstructured":"Ross, L. and C. A. Anderson: 1982, ?Shortcomings in the Attribution Process: on the Origins and Maintenance of Erroneous Social Assessments?. In: D. Kahneman, P. Slovic, and A. Tversky (eds.), Judgement Under Uncertainty: Heuristics and Biases, Cambridge University Press, Cambridge, pp. 129?152."},{"key":"CR35","unstructured":"Sedgewick, R.: 1988, Algorithm. Addison-Wesley Publishing Company."},{"key":"CR36","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/S0020-7373(85)80025-0","volume":"23","author":"D. Sleeman","year":"1985","unstructured":"Sleeman, D.: 1985, ?UMFE: A User Modelling Front-End Subsystem?. International Journal of Man-Machine Studies 23, 71?88.","journal-title":"International Journal of Man-Machine Studies"},{"key":"CR37","unstructured":"Sleeman, D. and J. S. Brown (eds.): 1982, Intelligent Tutoring Systems, Harcourt Brace Jovanovich."},{"key":"CR38","unstructured":"van Arragon, P.: 1990a, Nested Default Reasoning with Priority Levels. Proceedings CSCSI-90, Ottawa, pp. 77?83."},{"key":"CR39","unstructured":"van Arragon, P.: 1990b, Nested Default Reasoning for User Modeling. Research Report CS-90-25, Department of Computer Science, University of Waterloo."},{"key":"CR40","doi-asserted-by":"crossref","unstructured":"Wahlster, W. and A. Kobsa: 1989, ?User Models in Dialog Systems?. In: A. Kobsa and W. Wahlster (eds.), User Models in Dialog Systems, Springer-Verlag, pp. 5?34.","DOI":"10.1007\/978-3-642-83230-7_1"},{"key":"CR41","volume-title":"Artificial Intelligence and Tutoring Systems","author":"E. Wenger","year":"1987","unstructured":"Wenger, E.: 1987, Artificial Intelligence and Tutoring Systems, Morgan Kaufmann Publishers, Inc., Los Altos, CA."}],"container-title":["User Modeling and User-adapted Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00158953.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00158953\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00158953","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T19:48:19Z","timestamp":1585943299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00158953"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991]]}},"alternative-id":["BF00158953"],"URL":"https:\/\/doi.org\/10.1007\/bf00158953","relation":{},"ISSN":["0924-1868","1573-1391"],"issn-type":[{"type":"print","value":"0924-1868"},{"type":"electronic","value":"1573-1391"}],"subject":[],"published":{"date-parts":[[1991]]}}}