A spectrum of de nitions for temporal model-based diagnosis.(9)

In this paper we present an extension of the spectrum of logical de nitions of model-based diagnosis introduced in (Console &Torasso 1991b). The extended spectrum considers the case of temporal model-based diagnosis and generalizes the logical characteriza

eralized stable models. Annals of Mathematics and Arti cial Intelligence 11(1-4):51{74. Reiter, R. 1987. A theory of diagnosis from rst principles. Arti cial Intelligence 32(1):57{96. ten Teije, A., and van Harmelen, F. 1994. An extended spectrum of logical de nitions of diagnosis. In Proc. 5th Int. Work. on Principles of Diagnosis, 334{ 342.