conftrace_

model-based diagnosis

18 papers

Explore in graph

Also known as

MBD

Co-occurring keywords

fault diagnosis (16) constraint solving (39) automated reasoning (122) constraint satisfaction (294) fault detection (22) machine learning (436) fault localization (14) minimal diagnosis (2) fault explanation (2) diagnosis algorithm (2)

Papers

Choosing Abstraction Levels for Model-Based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs (Abstract Reprint) AAAI 2026
Sequential Model-Based Diagnosis by Systematic Search (Abstract Reprint) AAAI 2024
INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024
Memory-Limited Model-Based Diagnosis (Extended Abstract) IJCAI 2023
Two Compacted Models for Efficient Model-Based Diagnosis AAAI 2022
Random vs. Best-First: Impact of Sampling Strategies on Decision Making in Model-Based Diagnosis AAAI 2022
Model-Based Diagnosis of Multi-Agent Systems: A Survey AAAI 2022
Explanation in Constraint Satisfaction: A Survey IJCAI 2021
Model-Based Diagnosis with Uncertain Observations AAAI 2020
Reasoning About Inconsistent Formulas IJCAI 2020
Analog Accelerator for Simulation and Diagnostics AAAI 2020
Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020
Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory AAAI 2019
Safe Partial Diagnosis from Normal Observations AAAI 2019
DeBGUer: A Tool for Bug Prediction and Diagnosis AAAI 2019
Model-Based Diagnosis with Multiple Observations IJCAI 2019
Model-Based Diagnosis for Cyber-Physical Production Systems Based on Machine Learning and Residual-Based Diagnosis Models AAAI 2019
On Relating Explanations and Adversarial Examples NIPS 2019