Integrating Models of the Correct Behavior into Abductive Diagnosis

Luca Console, Pietro Torasso. Integrating Models of the Correct Behavior into Abductive Diagnosis. In ECAI. pages 160-166, 1990.

Abstract

Abstract is missing.