UsingWeighted Constraints to Diagnose Errors in Logic Programming - The Case of an Ill-defined Domain

Nguyen-Thinh Le, Wolfgang Menzel. UsingWeighted Constraints to Diagnose Errors in Logic Programming - The Case of an Ill-defined Domain. I. J. Artificial Intelligence in Education, 19(4):381-400, 2009. [doi]

Authors

Nguyen-Thinh Le

This author has not been identified. Look up 'Nguyen-Thinh Le' in Google

Wolfgang Menzel

This author has not been identified. Look up 'Wolfgang Menzel' in Google