Problem Solving Process Oriented Diagnosis in Logic Programming.

Nguyen-Thinh Le, Wolfgang Menzel

Browse the full ICCE paper archive.