Le, Nguyen-Thinh

Using Weighted Constraints to Diagnose Errors in Logic Programming-The Case of an Ili-Defined Domain - 381-400 p.


Intelilgent Tutoring Systems
Error Diagnosis
Logic Programming