Mark Chavira

Explainable Artificial Intelligence (XAI): Concepts, taxonomies, opportunities and challenges toward responsible AI

DARPA's Explainable Artificial Intelligence Program

Diagnosis for uncertain, dynamic and hybrid domains using Bayesian networks and arithmetic circuits

A Dynamic-Bayesian-Network-Based Fault Diagnosis Methodology Considering Transient and Intermittent Faults

Dynamic Bayesian Networks for Fault Detection, Identification, and Recovery in Autonomous Spacecraft

Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds

Probabilistic theorem proving

Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft

On probabilistic inference by weighted model counting

Solving MAP exactly by searching on compiled arithmetic circuits

Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study

Compiling relational Bayesian networks for exact inference