{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:10Z","timestamp":1725663550947},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556060"},{"type":"electronic","value":"9783540472544"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55606-0_53","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:25:00Z","timestamp":1330233900000},"page":"451-458","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["To contradict is human"],"prefix":"10.1007","author":[{"given":"Yasuyuki","family":"Kono","sequence":"first","affiliation":[]},{"given":"Mitsuru","family":"Ikeda","sequence":"additional","affiliation":[]},{"given":"Riichiro","family":"Mizoguchi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"53_CR1","unstructured":"CESP Language Guide, AI Language Research Institute, Ltd., Sakurai Build. 15-15, Shiba 3, Minato, TOKYO 105,Japan, 1990."},{"key":"53_CR2","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., \u201cAn Assumption-based Truth Maintenance System\u201d, Artificial Intelligence, Vol. 28, pp. 127\u2013162, Mar. 1986.","journal-title":"Artificial Intelligence"},{"key":"53_CR3","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF00158953","volume":"1","author":"X. Huang","year":"1991","unstructured":"Huang, X., McCalla, G. I., Greer, J. E. and Neufeld, E., \u201cRevising Deductive Knowledge and Stereotypical Knowledge in a Student Model\u201d, User Modeling and User-Adapted Interaction, Vol. 1, pp. 87\u2013115, 1991.","journal-title":"User Modeling and User-Adapted Interaction"},{"key":"53_CR4","unstructured":"Ikeda, M., Mizoguchi, R. and Kakusho, O., \u201cDesign of a General Framework for ITS\u201d, Proc. of ITS-88, pp. 82\u201389, Jun. 1988."},{"issue":"No.9","key":"53_CR5","first-page":"1761","volume":"J71-D","author":"M. Ikeda","year":"1988","unstructured":"Ikeda, M., Mizoguchi, R. and Kakusho, O., \u201cA Hypothetical Model Inference System\u201d, Trans, of IEICE, Vol. J71-D, No.9, pp. 1761\u20131771, Sep. 1988 (in Japanese).","journal-title":"Trans, of IEICE"},{"issue":"No.1","key":"53_CR6","first-page":"112","volume":"J72-D","author":"M. Ikeda","year":"1989","unstructured":"Ikeda, M., Mizoguchi, R. and Kakusho, O., \u201cStudent Model Description Language SMDL and Student Model Inference System SMIS\u201d, Trans. of IEICE, Vol. J72-D, No.1, pp. 112\u2013120, Jan. 1989 (in Japanese).","journal-title":"Trans. of IEICE"},{"key":"53_CR7","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 Shapiro, S. C., \u201cA Model for Belief Revision\u201d, Artificial Intelligence, Vol. 35, pp. 25\u201379, May 1988.","journal-title":"Artificial Intelligence"},{"key":"53_CR8","unstructured":"Mizoguchi, R., Ikeda, M. and Kakusho, O., \u201cAn Innovative Framework for Intelligent Tutoring Systems\u201d, Proc. of the IFIP TC3 Working Conference on Artificial Intelligence Tools in Education, pp. 105\u2013120, May 1987."},{"key":"53_CR9","unstructured":"Mizoguchi, R. and Ikeda, M., \u201cA Generic Framework for ITS And Its Evaluation\u201d, In Lewis, R. and Otsuki, S., editors, Advanced Research on Computers in Education, pp. 63\u201372, North-Holland, 1991."},{"key":"53_CR10","doi-asserted-by":"crossref","unstructured":"Shapiro, E. Y., Algorithmic Program Debugging, MIT Press, 1982.","DOI":"10.1145\/582153.582185"},{"key":"53_CR11","doi-asserted-by":"crossref","unstructured":"Stevens, A. L. and Collins, A., \u201cThe Goal Structure of a Socratic Tutor\u201d, BBN Rep. 3518, 1977.","DOI":"10.21236\/ADA038359"},{"key":"53_CR12","volume-title":"Artificial Intelligence and Tutoring Systems","author":"E. Wenger","year":"1987","unstructured":"Wenger, E., Artificial Intelligence and Tutoring Systems, Morgan Kaufmann Publishers, California, Jan. 1987."}],"container-title":["Lecture Notes in Computer Science","Intelligent Tutoring Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55606-0_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T18:21:17Z","timestamp":1578507677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55606-0_53"}},"subtitle":["Student modeling of inconsistency"],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556060","9783540472544"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-55606-0_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"29 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}