References
L. Console, G. Friedrich, and Theseider Dupré. Model-based diagnosis meets error diagnosis in logic programs. In Proc. 13th IJCAI, Chambery, 1993.
L. Console, D. Theseider Dupré, and P. Torasso. A theory of diagnosis for incomplete causal models. In Proc. 11th IJCAI, pages 1311–1317, Detroit, 1989.
L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133–141, 1991. Also in [7].
J. de Kleer, A. Mackworth, and R. Reiter. Characterising diagnoses and systems. Artificial Intelligence, 56(2–3):197–222, 1992. Also in [7].
J. de Kleer and B.C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97–130, 1987. Also in [7].
Gerhard Friedrich and Wolfgang Nejdl. MOMO — Model-based diagnosis for everybody. In Proc. IEEE Conf. on AI Appl., Santa Barbara, 1990. Also in [7].
W. Hamscher, L. Console, and J. de Kleer. Readings in Model-Based Diagnosis. Morgan Kaufmann, 1992.
D. Poole. Normality and faults in logic-based diagnosis. In Proc. 11th IJCAI, pages 1304–1310, Detroit, 1989. Also in [7].
R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57–96, 1987. Also in
E. Shapiro. Algorithmic Program Debugging. MIT-Press, 1983.
P. Struss. Knowledge-based diagnosis: an important challenge and touchstone for AI. In Proc. 10th ECAI, pages 863–874, Vienna, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Console, L., Friedrich, G., Dupré, D.T. (1993). Model-based diagnosis meets error diagnosis in logic programs. In: Fritzson, P.A. (eds) Automated and Algorithmic Debugging. AADEBUG 1993. Lecture Notes in Computer Science, vol 749. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019402
Download citation
DOI: https://doi.org/10.1007/BFb0019402
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57417-0
Online ISBN: 978-3-540-48141-6
eBook Packages: Springer Book Archive