Lecture 1
Diagnostic, intelligence artificielle et reconnaissance de formes,sous la direction de Bernard Dubuisson, IC2 Productique, Hermes, ISBN 2-7462-0249-2.
Readings in Model-Based Diagnosis, W. Hamscher, L. Console, J. de Kleer, Morgan Kaufmann, San Mateo, CA, 1992.
Lecture 2
Automatique et statistiques pour le diagnostic,sous la direction de Bernard Dubuisson, IC2 Productique, Hermes, ISBN 2-7462-0248-4.
Lecture 3
Diagnosis of Active systems: Principles and Techniques, G.Lamperti and M. Zanella, Kluwer Academic Publishers, ISBN 978-1-4020-7487-5.
Generic book: Artificial Intelligence - A Modern Approach, S. Russell and P. Norvig, Prentice Hall, 2nd Edition.
Situation calculus: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, Raymond Reiter, MIT Press, 2001.
Model-based diagnosis: Readings in Model-Based Diagnosis, W. Hamscher, L. Console, J. de Kleer, Morgan Kaufmann, San Mateo, CA, 1992.