Pamela W. Jordan, Maxim Makatchev, Kurt VanLehn  Home/Search
Context Related
| pitt.edu/~maxim/papers/aied.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pitt.edu/~maxim/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Why2-Atlas tutoring system presents students with qualitative physics questions and encourages them to explain their answers via natural language. Although there are inexpensive techniques for analyzing explanations, we claim that better understanding is necessary to provide substantive feedback. In this paper we motivate and describe how the system creates and utilizes a proof-based representation of student essays and provide some preliminary evaluation results. (Update)
Cited by: More
Abductive Proofs as Models of Students' Reasoning.. - Makatchev.. (2004) (Correct)
Modeling Students' Reasoning about Qualitative Physics: .. - Makatchev, Jordan.. (2004) (Correct)
Similar documents (at the sentence level): More
78.3%: Abductive Theorem Proving for Analyzing Student Explanations - Jordan, Makatchev, VanLehn (2003) (Correct)
21.0%: Abductive Theorem Proving for Analyzing Student.. - Makatchev, Jordan.. (2004) (Correct)
11.4%: Extended Explanations as Student Models for Guiding.. - Jordan, Makatchev.. (2003) (Correct)
Active bibliography (related documents): More All
0.3: Discovery of implicit and explicit connections between .. - Robert McArthur.. (2003) (Correct)
0.2: Logic-Based Natural Language Understanding in Intelligent.. - Popescu (2005) (Correct)
0.2: Representation and Reasoning for Deeper Natural.. - Makatchev.. (2006) (Correct)
Similar documents based on text: More All
0.7: The Architecture of Why2-Atlas: A Coach for.. - VanLehn, Jordan.. (2002) (Correct)
0.5: Interactive Conceptual Tutoring in Atlas-Andes - Rosé, Jordan, Ringenberg.. (2001) (Correct)
0.5: Tools for Authoring Tutorial Dialogue Knowledge - Jordan, Rose, VanLehn (2001) (Correct)
Related documents from co-citation: More All
3: A Many-Sorted Calculus Based on Resolution and Paramodulation (context) - Walther - 1987
3: Interpretation as abduction - Hobbs, Stickel et al. - 1990
3: Abductive theorem proving for analyzing student explanations to guide feedback i.. - Makatchev, Jordan et al. - 2004
BibTeX entry: (Update)
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, IOS Press (2003) 73--80 http://citeseer.ist.psu.edu/article/jordan03abductive.html More
@misc{ jordan03abductive,
author = "P. Jordan and M. Makatchev and K. VanLehn",
title = "Abductive theorem proving for analyzing student explanations",
text = "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, IOS Press (2003) 73--80",
year = "2003",
url = "citeseer.ist.psu.edu/article/jordan03abductive.html" }
Citations (may not include all citations):140 A comparison of event models for naive bayes text classifica.. - McCallum, Nigam - 1998
138 Probabilistic horn abduction and bayesian networks - Poole - 1993 ACM DBLP
117 Abduction compared with negation by failure (context) - Eshghi, Kowalski - 1989
111 An introduction to latent semantic analysis (context) - Landauer, Foltz et al. - 1998
66 The role of abduction in logic programming - Kakas, Kowalski et al. - 1998
41 Probabilistic semantics for cost based abduction (context) - Charniak, Shimony - 1990 DBLP
38 Eliciting selfexplanations improves understanding - Chi, de Leeuw et al. - 1994
29 A prolog-like inference system for computing minimum-cost ab.. - Stickel - 1988 DBLP
25 User Modeling and UserAdapted Interaction (context) - Appelt, Pollack et al. - 1992
16 A tractable class of abduction problems (context) - Eshghi - 1993 DBLP
7 The architecture of Why2-Atlas: A coach for qualitative phys.. - VanLehn, Jordan et al. - 2002 DBLP
5 Assessing students' misclassifications of physics concepts: .. (context) - Slotta, Chi et al. - 1995
4 Pilot-testing a tutorial dialogue system that supports self-.. (context) - Aleven, Popescu et al. - 2002
3 A hybrid understanding approach for robust selection of tuto.. (context) - Rose, Bhembe et al. - 2002
3 Using argumentation strategies in automated argument generat.. - Zukerman, McConachy et al. - 2000
3 Dt tutor: A dynamic decision-theoretic approach for optimal .. (context) - Murray, VanLehn - 2000
Documents on the same site (http://www.pitt.edu/~maxim/): More
Human-Robot Interface Using Agents Communicating in an.. - Makatchev, Tso (2000) (Correct)
Cross-Coupling Control for Slippage Minimization of a.. - Makatchev, Lang, Tso, .. (2000) (Correct)
On the Complexity of Image Processing and Pattern Recognition .. - Makatchev, Lang (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC