A preliminary specification methodology for model-based diagnosis R. R. LeitchM. J. ChantlerG. M. Coghill OriginalPaper Pages: 11 - 32
Consistency-based and abductive diagnoses as generalised stable models Chris PreistKave EshghiBruno Bertolino OriginalPaper Pages: 51 - 74
Explanatory diagnoses and their characterization by circumscription Philippe BesnardMarie -Odile Cordier OriginalPaper Pages: 75 - 96
Preferring diagnoses using a partial order on assumptions Ulrich Junker OriginalPaper Pages: 169 - 185
Formalizing the repair process — extended report Gerhard FriedrichGeorg GottlobWolfgang Nejdl OriginalPaper Pages: 187 - 201
Multiple models of physical systems — Modeling intermittent faults, inaccuracy, and tests in diagnosis Peter Struss OriginalPaper Pages: 203 - 239
A framework for controlling model-based diagnosis systems with multiple actions Claudia BöttcherOskar Dressler OriginalPaper Pages: 241 - 261
Theory diagnoses: A concise characterization of faulty systems Gerhard Friedrich OriginalPaper Pages: 263 - 282
On the construction of hierarchic models D. -J. OutR. P. van RikxoortR. R. Bakker OriginalPaper Pages: 283 - 296
Controlling the complexity in model-based diagnosis Igor MozetičChristian Holzbaur OriginalPaper Pages: 297 - 314
DYANA: Best-first hierarchical diagnosis based on differential equation models Martin ReindersAnita PosFrank van der Neut OriginalPaper Pages: 315 - 328
Focusing on independent diagnosis problems Hartmut FreitagGerhard Friedrich OriginalPaper Pages: 329 - 349
Model-based diagnosis of continuous static systems Stefano CermignaniGiorgio Tornielli OriginalPaper Pages: 367 - 380
Diagnosing time-varying misbehavior: an approach based on model decomposition Luca ConsoleLuigi PortinalePietro Torasso OriginalPaper Pages: 381 - 398
Temporal methods: Multi-dimensional modeling of sequential circuits L. J. HoltzblattM. J. NeibergM. B. Vilain OriginalPaper Pages: 399 - 413
An algorithm for model-based diagnosis that considers time Sebastian Iwanowski OriginalPaper Pages: 415 - 437
CROSBY: Financial data interpretation as model-based diagnosis Walter Hamscher OriginalPaper Pages: 511 - 524