Abductive Theorem Proving for Analyzing Export

@misc{citeulike:1053958, abstract = {The Why2-Atlas tutoring system presents students with qualitative physics questions and encourages them to explain their answers through natural language. Although there are inexpensive techniques for analyzing explanations, we claim that better understanding is necessary for use within tutoring systems. In this paper we motivate and describe how the system creates and uses a deeper proof-based representation of student essays in order to provide students with substantive feedback on their...}, author = {To, Student E.}, citeulike-article-id = {1053958}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.1355}, keywords = {abductive, feedback, its}, posted-at = {2007-01-19 18:37:56}, priority = {2}, title = {Abductive Theorem Proving for Analyzing}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.1355} }

TY - GEN ID - citeulike:1053958 L3 - citeulike-article-id:1053958 N2 - The Why2-Atlas tutoring system presents students with qualitative physics questions and encourages them to explain their answers through natural language. Although there are inexpensive techniques for analyzing explanations, we claim that better understanding is necessary for use within tutoring systems. In this paper we motivate and describe how the system creates and uses a deeper proof-based representation of student essays in order to provide students with substantive feedback on their... TI - Abductive Theorem Proving for Analyzing KW - abductive KW - feedback KW - its AU - To, Student UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.1355 ER -