Abductive Theorem Proving for Analyzing Student Explanations. Jordan, P., Makatchev, M., & VanLehn, K. In Proceedings of International Conference on Artificial Intelligence in Education, pages 73–80, Sydney, Australia, 2003. IOS Press.
Paper bibtex @inproceedings{Jordan-etal:2003,
address = {Sydney, Australia},
author = {Pamela Jordan and Maxim Makatchev and Kurt VanLehn},
booktitle = {Proceedings of International Conference on Artificial Intelligence in Education},
pages = {73--80},
publisher = {IOS Press},
title = {Abductive Theorem Proving for Analyzing Student Explanations},
url = {http://www.pitt.edu/~pjordan/papers/aied2.pdf},
year = {2003},
bdsk-url-1 = {http://www.pitt.edu/~pjordan/papers/aied2.pdf}}
Downloads: 0
{"_id":"4voiK6xZ6WxCNNBd5","bibbaseid":"jordan-makatchev-vanlehn-abductivetheoremprovingforanalyzingstudentexplanations-2003","downloads":0,"creationDate":"2015-09-14T21:16:36.557Z","title":"Abductive Theorem Proving for Analyzing Student Explanations","author_short":["Jordan, P.","Makatchev, M.","VanLehn, K."],"year":2003,"bibtype":"inproceedings","biburl":"https://www.dropbox.com/s/k77onmesvqgz66b/pjordan3.bib?dl=1","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Sydney, Australia","author":[{"firstnames":["Pamela"],"propositions":[],"lastnames":["Jordan"],"suffixes":[]},{"firstnames":["Maxim"],"propositions":[],"lastnames":["Makatchev"],"suffixes":[]},{"firstnames":["Kurt"],"propositions":[],"lastnames":["VanLehn"],"suffixes":[]}],"booktitle":"Proceedings of International Conference on Artificial Intelligence in Education","pages":"73–80","publisher":"IOS Press","title":"Abductive Theorem Proving for Analyzing Student Explanations","url":"http://www.pitt.edu/~pjordan/papers/aied2.pdf","year":"2003","bdsk-url-1":"http://www.pitt.edu/ pjordan/papers/aied2.pdf","bibtex":"@inproceedings{Jordan-etal:2003,\n\taddress = {Sydney, Australia},\n\tauthor = {Pamela Jordan and Maxim Makatchev and Kurt VanLehn},\n\tbooktitle = {Proceedings of International Conference on Artificial Intelligence in Education},\n\tpages = {73--80},\n\tpublisher = {IOS Press},\n\ttitle = {Abductive Theorem Proving for Analyzing Student Explanations},\n\turl = {http://www.pitt.edu/~pjordan/papers/aied2.pdf},\n\tyear = {2003},\n\tbdsk-url-1 = {http://www.pitt.edu/~pjordan/papers/aied2.pdf}}\n\n","author_short":["Jordan, P.","Makatchev, M.","VanLehn, K."],"key":"Jordan-etal:2003","id":"Jordan-etal:2003","bibbaseid":"jordan-makatchev-vanlehn-abductivetheoremprovingforanalyzingstudentexplanations-2003","role":"author","urls":{"Paper":"http://www.pitt.edu/~pjordan/papers/aied2.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","jordan","makatchev","vanlehn"],"keywords":[],"authorIDs":["ka5ZTGxJfBiim3bM9"],"dataSources":["ZvF36gspBNGHEgbv5"]}