Browsing by Keywords "Diagnosis algorithms"
Now showing items 1-1 of 1
-
Theories and proofs in fault diagnosis
(Springer, 1998-09)This paper illustrates how theories (contexts), fail branches, and the ability to control the construction of proofs in MetaProlog play an important role in the expression of the fault diagnosis problem. These facilities ...