Volume 11, Number 1-4, 1994
- Roy Leitch, Mike J. Chantler, Qiang Shen, George Macleod Coghill: A Preliminary Specification Methodology for Model-based Diagnosis. 11-32
- David Poole: Representing Diagnosis Knowledge. 33-50
- Chris Preist, Kave Eshghi, Bruno Bertolino: Consistency-Based and Abductive Diagnoses as Generalized Stable Models. 51-74
- Philippe Besnard, Marie-Odile Cordier: Explanatory Diagnoses and Their Characterization by Circumscription. 75-96
- Kurt Konolige: Using Default and Causal Reasoning in Diagnosis. 97-135
- Sheila A. McIlraith: Further Contributions to Characterizing Diagnosis. 137-167
- Ulrich Junker: Preferring Daignoses Using a Partial Order On Assumptions. 169-185
- Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl: Formalizing the Repair Process - Extended Report. 187-201
- Peter Struss: Multiple Models of Physical Systems - Modeling Intermittent Faults, Inaccuracy, and Tests in Diagnosis. 203-239
- Claudia Böttcher, Oskar Dressler: A Framework for Controlling Model-Based Diagnosis Systems with Multiple Actions. 241-261
- Gerhard Friedrich: Theory Diagnoses: A Concise Characterization of Faulty Systems. 263-282
- Martin Reinders, Anita Pos, Frank van der Neut: DYANA: Best-First Hierachical Diagnosis Based on Differential Equation Models. 315-328
- Ron Rymon: An Se-Tree-Based Prime Implicant Generation Algorithm. 351-366
- Luca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso: Diagnosing Tim-Varying Misbehavior: An Approach Based on Model Decomposition. 381-398
- Lester J. Holtzblatt, M. J. Neiberg, Richard L. Piazza, Marc B. Vilain: Temporal Methods: Multi-Dimensional Modeling of Sequential Circuits. 399-413
- Sebastian Iwanowski: An Algorithm for Model-Based Diagnosis That Considers Time. 415-437
- Philippe Dague: Model-Based Diagnosis of Analog Electronic Circuits. 439-492
- E. Scarl: Sensor Placement for Diagnosability. 493-509
- Walter Hamscher: CROSBY: Financial Data Interpretation as Model-Based Diagnosis. 511-524
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team