论文列表及评分结果
Further Contributions to Characterizing Diagnosis.
电商所评分：10
Preferring Daignoses Using a Partial Order On Assumptions.
电商所评分：1
Formalizing the Repair Process - Extended Report.
电商所评分：4
Multiple Models of Physical Systems - Modeling Intermittent Faults, Inaccuracy, and Tests in Diagnosis.
电商所评分：10
A Framework for Controlling Model-Based Diagnosis Systems with Multiple Actions.
电商所评分：5
Theory Diagnoses: A Concise Characterization of Faulty Systems.
电商所评分：4
On the Construction of Hierarchie Models.
电商所评分：5
Controlling the Complexity in Model-Based Diagnosis.
电商所评分：3
DYANA: Best-First Hierachical Diagnosis Based on Differential Equation Models.
电商所评分：8
Focusing on Independent Diagnosis Problems.
电商所评分：10
An Se-Tree-Based Prime Implicant Generation Algorithm.
电商所评分：5
Diagnosing Tim-Varying Misbehavior: An Approach Based on Model Decomposition.
电商所评分：6
Temporal Methods: Multi-Dimensional Modeling of Sequential Circuits.
电商所评分：3
An Algorithm for Model-Based Diagnosis That Considers Time.
电商所评分：8
Model-Based Diagnosis of Analog Electronic Circuits.
电商所评分：9
Sensor Placement for Diagnosability.
电商所评分：3
CROSBY: Financial Data Interpretation as Model-Based Diagnosis.
电商所评分：8
Overview of Disjunctive Logic Programming.
电商所评分：8
Negation as Failure for Disjunctive Logic Programming.
电商所评分：6
Propositional Semantics for Disjunctive Logic Programs.
电商所评分：6
Logic Programming and Reasoning with Incomplete Information.
电商所评分：10
Avoiding Duplicate Proofs with the Foothold Refinement.
电商所评分：4
A Formal Analysis of the Role of Multi-Point Crossover in Genetic Algorithms.
电商所评分：10
Characterizing Crossover in Genetic Algorithms.
电商所评分：7
Construction of High-Order Deceptive Functions Using Low-Order Walsh Coefficients.
电商所评分：5
Deception, Dominance and Implicit Parallelism in Genetic Search.
电商所评分：1
Modeling Genetic Algorithms with Markov Chains.
电商所评分：1
Well-founded and Stationary Models of Logic Programs.
电商所评分：9
Modular Specifications with Supernormal Defaults.
电商所评分：4
New Proofs in Default Logic Theory.
电商所评分：4