Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems

Maxim Makatchev, Pamela Jordan, Kurt VanLehn

Journal of Automated Reasoning · 2004 · 25 citations · 46 references

Concepts

References

46