Abductive theorem proving for analyzing student explanations to guide feedback in intelligent tutoring systems

Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn

Research output: Contribution to journalArticlepeer-review

25 Scopus citations

Fingerprint

Dive into the research topics of 'Abductive theorem proving for analyzing student explanations to guide feedback in intelligent tutoring systems'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science