1. Introduction

   • Luca Console
   • Gerhard Friedrich

   EditorialNotes Pages: 1 - 10

2. A preliminary specification methodology for model-based diagnosis

   • R. R. Leitch
   • M. J. Chantler
   • G. M. Coghill

   OriginalPaper Pages: 11 - 32

3. Representing diagnosis knowledge

   • David Poole

   OriginalPaper Pages: 33 - 50

4. Consistency-based and abductive diagnoses as generalised stable models

   • Chris Preist
   • Kave Eshghi
   • Bruno Bertolino

   OriginalPaper Pages: 51 - 74

5. Explanatory diagnoses and their characterization by circumscription

   • Philippe Besnard
   • Marie -Odile Cordier

   OriginalPaper Pages: 75 - 96

6. Using default and causal reasoning in diagnosis

   • Kurt Konolige

   OriginalPaper Pages: 97 - 135

7. Further contributions to characterizing diagnosis

   • Sheila McIlraith

   OriginalPaper Pages: 137 - 167

8. Preferring diagnoses using a partial order on assumptions

   • Ulrich Junker

   OriginalPaper Pages: 169 - 185

9. Formalizing the repair process — extended report

   • Gerhard Friedrich
   • Georg Gottlob
   • Wolfgang Nejdl

   OriginalPaper Pages: 187 - 201

10. Multiple models of physical systems — Modeling intermittent faults, inaccuracy, and tests in diagnosis

    • Peter Struss

    OriginalPaper Pages: 203 - 239

11. A framework for controlling model-based diagnosis systems with multiple actions

    • Claudia Böttcher
    • Oskar Dressler

    OriginalPaper Pages: 241 - 261

12. Theory diagnoses: A concise characterization of faulty systems

    • Gerhard Friedrich

    OriginalPaper Pages: 263 - 282

13. On the construction of hierarchic models

    • D. -J. Out
    • R. P. van Rikxoort
    • R. R. Bakker

    OriginalPaper Pages: 283 - 296

14. Controlling the complexity in model-based diagnosis

    • Igor Mozetič
    • Christian Holzbaur

    OriginalPaper Pages: 297 - 314

15. DYANA: Best-first hierarchical diagnosis based on differential equation models

    • Martin Reinders
    • Anita Pos
    • Frank van der Neut

    OriginalPaper Pages: 315 - 328

16. Focusing on independent diagnosis problems

    • Hartmut Freitag
    • Gerhard Friedrich

    OriginalPaper Pages: 329 - 349

17. An SE-tree-based prime implicant generation algorithm

    • Ron Rymon

    OriginalPaper Pages: 351 - 365

18. Model-based diagnosis of continuous static systems

    • Stefano Cermignani
    • Giorgio Tornielli

    OriginalPaper Pages: 367 - 380

19. Diagnosing time-varying misbehavior: an approach based on model decomposition

    • Luca Console
    • Luigi Portinale
    • Pietro Torasso

    OriginalPaper Pages: 381 - 398

20. Temporal methods: Multi-dimensional modeling of sequential circuits

    • L. J. Holtzblatt
    • M. J. Neiberg
    • M. B. Vilain

    OriginalPaper Pages: 399 - 413

21. An algorithm for model-based diagnosis that considers time

    • Sebastian Iwanowski

    OriginalPaper Pages: 415 - 437

22. Model-based diagnosis of analog electronic circuits

    • Philippe Dague

    OriginalPaper Pages: 439 - 492

23. Sensor placement for diagnosability

    • Ethan Scarl

    OriginalPaper Pages: 493 - 509

24. CROSBY: Financial data interpretation as model-based diagnosis

    • Walter Hamscher

    OriginalPaper Pages: 511 - 524