Le, Nguyen-Thinh Using Weighted Constraints to Diagnose Errors in Logic Programming-The Case of an Ili-Defined Domain - 381-400 p. Subjects--Topical Terms: Intelilgent Tutoring SystemsError DiagnosisLogic Programming