Abductive Theorem Proving for Analyzing Student Explanations and Guiding Feedback in Intelligent Tutoring Systems. Makatchev, M., Jordan, P., & VanLehn, K. Journal of Automated Reasoning: Special Issue on Automated Reasoning and Theorem Proving in Education, 32(3):187–226, 2004.
Paper bibtex @article{Makatchev-etal:2004,
author = {Maxim Makatchev and Pamela Jordan and Kurt VanLehn},
journal = {Journal of Automated Reasoning: Special Issue on Automated Reasoning and Theorem Proving in Education},
number = {3},
pages = {187--226},
title = {Abductive Theorem Proving for Analyzing Student Explanations and Guiding Feedback in Intelligent Tutoring Systems},
url = {http://www.pitt.edu/~pjordan/papers/arte-final.pdf},
volume = {32},
year = {2004},
bdsk-url-1 = {http://www.pitt.edu/~pjordan/papers/arte-final.pdf}}
Downloads: 0
{"_id":"MEYuWBGkWdRBYak5G","bibbaseid":"makatchev-jordan-vanlehn-abductivetheoremprovingforanalyzingstudentexplanationsandguidingfeedbackinintelligenttutoringsystems-2004","downloads":0,"creationDate":"2015-09-14T21:16:36.511Z","title":"Abductive Theorem Proving for Analyzing Student Explanations and Guiding Feedback in Intelligent Tutoring Systems","author_short":["Makatchev, M.","Jordan, P.","VanLehn, K."],"year":2004,"bibtype":"article","biburl":"https://www.dropbox.com/s/k77onmesvqgz66b/pjordan3.bib?dl=1","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Maxim"],"propositions":[],"lastnames":["Makatchev"],"suffixes":[]},{"firstnames":["Pamela"],"propositions":[],"lastnames":["Jordan"],"suffixes":[]},{"firstnames":["Kurt"],"propositions":[],"lastnames":["VanLehn"],"suffixes":[]}],"journal":"Journal of Automated Reasoning: Special Issue on Automated Reasoning and Theorem Proving in Education","number":"3","pages":"187–226","title":"Abductive Theorem Proving for Analyzing Student Explanations and Guiding Feedback in Intelligent Tutoring Systems","url":"http://www.pitt.edu/~pjordan/papers/arte-final.pdf","volume":"32","year":"2004","bdsk-url-1":"http://www.pitt.edu/ pjordan/papers/arte-final.pdf","bibtex":"@article{Makatchev-etal:2004,\n\tauthor = {Maxim Makatchev and Pamela Jordan and Kurt VanLehn},\n\tjournal = {Journal of Automated Reasoning: Special Issue on Automated Reasoning and Theorem Proving in Education},\n\tnumber = {3},\n\tpages = {187--226},\n\ttitle = {Abductive Theorem Proving for Analyzing Student Explanations and Guiding Feedback in Intelligent Tutoring Systems},\n\turl = {http://www.pitt.edu/~pjordan/papers/arte-final.pdf},\n\tvolume = {32},\n\tyear = {2004},\n\tbdsk-url-1 = {http://www.pitt.edu/~pjordan/papers/arte-final.pdf}}\n\n","author_short":["Makatchev, M.","Jordan, P.","VanLehn, K."],"key":"Makatchev-etal:2004","id":"Makatchev-etal:2004","bibbaseid":"makatchev-jordan-vanlehn-abductivetheoremprovingforanalyzingstudentexplanationsandguidingfeedbackinintelligenttutoringsystems-2004","role":"author","urls":{"Paper":"http://www.pitt.edu/~pjordan/papers/arte-final.pdf"},"metadata":{"authorlinks":{"jordan, p":"https://bibbase.org/show?bib=https://www.dropbox.com/s/k77onmesvqgz66b/pjordan3.bib?dl=1"}},"downloads":0},"search_terms":["abductive","theorem","proving","analyzing","student","explanations","guiding","feedback","intelligent","tutoring","systems","makatchev","jordan","vanlehn"],"keywords":[],"authorIDs":["ka5ZTGxJfBiim3bM9"],"dataSources":["ZvF36gspBNGHEgbv5"]}