Now showing items 1-1 of 1

    • Theories and proofs in fault diagnosis 

      Çiçekli, İlyas (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 ...