Report date: Jan 27,2026
Conflict count: 370687
Publisher: Springer-Verlag
Title count: 337
Conflict count: 5654


==========================================================

Created: 2025-06-05 07:23:45
ConfID: 8157204
CauseID: 1699542265
OtherID: 170963892
JT: Journal of Automated Reasoning
MD: Makatchev,32,3,187,2004,Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems
DOI: 10.1023/B:JARS.0000044823.50442.cd(Journal) (8157204-N)
DOI: 10.1007/s10817-004-4857-0(Journal)