The Coverage of Error Diagnosis in Logic Programming Using Weighted Constraints - The Case of an Ill-Defined Domain.

Nguyen-Thinh Le, Wolfgang Menzel

Browse the full FlAIRS paper archive.