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]

Abstract

Abstract is missing.