{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:54:36Z","timestamp":1725566076754},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229483"},{"type":"electronic","value":"9783540301394"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30139-4_66","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T02:21:25Z","timestamp":1284862885000},"page":"699-709","source":"Crossref","is-referenced-by-count":2,"title":["Modeling Students\u2019 Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search"],"prefix":"10.1007","author":[{"given":"Maxim","family":"Makatchev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pamela W.","family":"Jordan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"VanLehn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"66_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/3-540-47987-2_20","volume-title":"Intelligent Tutoring Systems","author":"K. VanLehn","year":"2002","unstructured":"VanLehn, K., Jordan, P., Ros\u00e9, C., Bhembe, D., B\u00f6ttner, M., Gaydos, A., Makatchev, M., Pappuswamy, U., Ringenberg, M., Roque, A., Siler, S., Srivastava, R.: The architecture of why2-atlas: A coach for qualitative physics essay writing. In: Cerri, S.A., Gouard\u00e9res, G., Paragua\u00e7u, F. (eds.) ITS 2002. LNCS, vol.\u00a02363, pp. 158\u2013167. Springer, Heidelberg (2002)"},{"key":"66_CR2","doi-asserted-by":"crossref","unstructured":"Ros\u00e9, C., Roque, A., Bhembe, D., VanLehn, K.: An efficient incremental architecture for robust interpretation. In: Proceedings of Human Language Technology Conference, San Diego, CA (2002)","DOI":"10.3115\/1289189.1289217"},{"key":"66_CR3","doi-asserted-by":"crossref","unstructured":"Jordan, P., VanLehn, K.: Discourse processing for explanatory essays in tutorial applications. In: Proceedings of the 3rd SIGdial Workshop on Discourse and Dialogue (2002)","DOI":"10.3115\/1118121.1118132"},{"key":"66_CR4","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D. Poole","year":"1993","unstructured":"Poole, D.: Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence\u00a064, 81\u2013129 (1993)","journal-title":"Artificial Intelligence"},{"key":"66_CR5","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1207\/s15516709cog0502_3","volume":"5","author":"R.M. Young","year":"1981","unstructured":"Young, R.M., O\u2019Shea, T.: Errors in children\u2019s subtraction. Cognitive Science\u00a05, 153\u2013177 (1981)","journal-title":"Cognitive Science"},{"key":"66_CR6","unstructured":"Jordan, P., Makatchev, M., Pappuswamy, U.: Extended explanations as student models for guiding tutorial dialogue. In: Proceedings of AAAI Spring Symposium on Natural Language Generation in Spoken and Written Dialogue, pp. 65\u201370 (2003)"},{"key":"66_CR7","doi-asserted-by":"crossref","unstructured":"Hobbs, J., Stickel, M., Martin, P., Edwards, D.: Interpretation as abduction. In: Proc. 26th Annual Meeting of the ACL, Association of Computational Linguistics, pp. 95\u2013103 (1988)","DOI":"10.3115\/982023.982035"},{"key":"66_CR8","doi-asserted-by":"crossref","unstructured":"Makatchev, M., Jordan, P.W., VanLehn, K.: Abductive theorem proving for analyzing student explanations to guide feedback in intelligent tutoring systems. To appear in Journal of Automated Reasoning, Special issue on Automated Reasoning and Theorem Proving in Education (2004)","DOI":"10.1023\/B:JARS.0000044823.50442.cd"},{"key":"66_CR9","first-page":"73","volume-title":"Proceedings of International Conference on Artificial Intelligence in Education","author":"P. Jordan","year":"2003","unstructured":"Jordan, P., Makatchev, M., VanLehn, K.: Abductive theorem proving for analyzing student explanations. In: Proceedings of International Conference on Artificial Intelligence in Education, Sydney, Australia, pp. 73\u201380. IOS Press, Amsterdam (2003)"},{"key":"66_CR10","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1080\/01638539809545028","volume":"25","author":"T.K. Landauer","year":"1998","unstructured":"Landauer, T.K., Foltz, P.W., Laham, D.: An introduction to latent semantic analysis. Discourse Processes\u00a025, 259\u2013284 (1998)","journal-title":"Discourse Processes"},{"key":"66_CR11","volume-title":"Proceeding of AAAI\/ICML 1998 Workshop on Learning for Text Categorization","author":"A. McCallum","year":"1998","unstructured":"McCallum, A., Nigam, K.: A comparison of event models for naive bayes text classification. In: Proceeding of AAAI\/ICML 1998 Workshop on Learning for Text Categorization, AAAI Press, Menlo Park (1998)"},{"key":"66_CR12","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1080\/15391523.2003.10782391","volume":"35","author":"D. Jonassen","year":"2003","unstructured":"Jonassen, D.: Using cognitive tools to represent problems. Journal of Research on Technology in Education\u00a035, 362\u2013381 (2003)","journal-title":"Journal of Research on Technology in Education"},{"key":"66_CR13","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1023\/A:1021258506583","volume":"12","author":"C. Conati","year":"2002","unstructured":"Conati, C., Gertner, A., VanLehn, K.: Using bayesian networks to manage uncertainty in student modeling. Journal of User Modeling and User-Adapted Interaction\u00a012, 371\u2013417 (2002)","journal-title":"Journal of User Modeling and User-Adapted Interaction"},{"key":"66_CR14","unstructured":"Zapata-Rivera, J.D., Greer, J.: Student model accuracy using inspectable bayesian student models. In: International Conference of Artificial Intelligence in Education, Sydney, Australia, pp. 65\u201372 (2003)"},{"key":"66_CR15","unstructured":"Charniak, E., Shimony, S.E.: Probabilistic semantics for cost based abduction. In: Proceedings of AAAI 1990, pp. 106\u2013111 (1990)"},{"key":"66_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/B:JARS.0000021960.39761.b7","volume":"32","author":"N. Matsuda","year":"2004","unstructured":"Matsuda, N., VanLehn, K.: GRAMY: A geometry theorem prover capable of construction. Journal of Automated Reasoning\u00a032, 3\u201333 (2004)","journal-title":"Journal of Automated Reasoning"},{"key":"66_CR17","first-page":"349","volume-title":"Proceedings of International Conference on Artificial Intelligence in Education","author":"W.R. Murray","year":"2003","unstructured":"Murray, W.R., Pease, A., Sams, M.: Applying formal methods and representations in a natural language tutor to teach tactical reasoning. In: Proceedings of International Conference on Artificial Intelligence in Education, Sydney, Australia, pp. 349\u2013356. IOS Press, Amsterdam (2003)"},{"key":"66_CR18","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/978-3-662-03037-0_12","volume-title":"Student Modelling: the key to individualized knowledge-based instruction","author":"J. Self","year":"1994","unstructured":"Self, J.: Formal approaches to student modelling. In: McCalla, G.I., Greer, J. (eds.) Student Modelling: the key to individualized knowledge-based instruction, pp. 295\u2013352. Springer, Heidelberg (1994)"},{"key":"66_CR19","first-page":"35","volume":"13","author":"V. Dimitrova","year":"2003","unstructured":"Dimitrova, V.: STyLE-OLM: Interactive open learner modelling. Artificial Intelligence in Education\u00a013, 35\u201378 (2003)","journal-title":"Artificial Intelligence in Education"},{"key":"66_CR20","unstructured":"Forbus, K., Carney, K., Harris, R., Sherin, B.: A qualitative modeling environment for middle-school students: A progress report. In: QR 2001 (2001)"},{"key":"66_CR21","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1207\/s15327809jls0802_1","volume":"8","author":"R. Ploetzner","year":"1999","unstructured":"Ploetzner, R., Fehse, E., Kneser, C., Spada, H.: Learning to relate qualitative and quantitative problem representations in a model-based setting for collaborative problem solving. The Journal of the Learning Sciences\u00a08, 177\u2013214 (1999)","journal-title":"The Journal of the Learning Sciences"},{"key":"66_CR22","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-1-4684-8015-3_7","volume-title":"Human and machine problem solving","author":"P. Reimann","year":"1989","unstructured":"Reimann, P., Chi, M.T.H.: Expertise in complex problem solving. In: Gilhooly, K.J. (ed.) Human and machine problem solving, pp. 161\u2013192. Plenum Press, New York (1989)"},{"key":"66_CR23","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1016\/B978-1-4832-1447-4.50009-2","volume-title":"Readings in Qualitative Reasoning about Physical Systems","author":"J. Kleer de","year":"1990","unstructured":"de Kleer, J.: Multiple representations of knowledge in a mechanics problem-solver. In: Weld, D.S., de Kleer, J. (eds.) Readings in Qualitative Reasoning about Physical Systems, pp. 40\u201345. Morgan Kaufmann, California (1990)"},{"key":"66_CR24","volume-title":"A many-sorted calculus based on resolution and paramodulation","author":"C. Walther","year":"1987","unstructured":"Walther, C.: A many-sorted calculus based on resolution and paramodulation. Morgan Kaufmann, Los Altos (1987)"},{"key":"66_CR25","first-page":"235","volume-title":"Handbook of logic in Artificial Intelligence and Logic Programming","author":"A. Kakas","year":"1998","unstructured":"Kakas, A., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of logic in Artificial Intelligence and Logic Programming, vol.\u00a05, pp. 235\u2013324. Oxford University Press, Oxford (1998)"},{"key":"66_CR26","unstructured":"Stickel, M.: A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation. Technical Report 451, SRI International, 333 Ravenswood Ave., Menlo Park, California (1988)"},{"key":"66_CR27","doi-asserted-by":"publisher","first-page":"1075","DOI":"10.1016\/S0031-3203(00)00048-0","volume":"34","author":"K. Shearer","year":"2001","unstructured":"Shearer, K., Bunke, H., Venkatesh, S.: Video indexing and similarity retrieval by largest common subgraph detection using decision trees. Pattern Recognition\u00a034, 1075\u20131091 (2001)","journal-title":"Pattern Recognition"}],"container-title":["Lecture Notes in Computer Science","Intelligent Tutoring Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30139-4_66.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:44:23Z","timestamp":1605761063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30139-4_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229483","9783540301394"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30139-4_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}