Picture for Adnan Darwiche

Adnan Darwiche

Causal Unit Selection using Tractable Arithmetic Circuits

Apr 10, 2024
Viaarxiv icon

Identifying Causal Effects Under Functional Dependencies

Add code
Mar 07, 2024
Figure 1 for Identifying Causal Effects Under Functional Dependencies
Figure 2 for Identifying Causal Effects Under Functional Dependencies
Figure 3 for Identifying Causal Effects Under Functional Dependencies
Figure 4 for Identifying Causal Effects Under Functional Dependencies
Viaarxiv icon

Tractable Bounding of Counterfactual Queries by Knowledge Compilation

Add code
Oct 05, 2023
Figure 1 for Tractable Bounding of Counterfactual Queries by Knowledge Compilation
Figure 2 for Tractable Bounding of Counterfactual Queries by Knowledge Compilation
Figure 3 for Tractable Bounding of Counterfactual Queries by Knowledge Compilation
Figure 4 for Tractable Bounding of Counterfactual Queries by Knowledge Compilation
Viaarxiv icon

Logic for Explainable AI

May 09, 2023
Viaarxiv icon

A New Class of Explanations for Classifiers with Non-Binary Features

Apr 28, 2023
Figure 1 for A New Class of Explanations for Classifiers with Non-Binary Features
Figure 2 for A New Class of Explanations for Classifiers with Non-Binary Features
Figure 3 for A New Class of Explanations for Classifiers with Non-Binary Features
Figure 4 for A New Class of Explanations for Classifiers with Non-Binary Features
Viaarxiv icon

An Algorithm and Complexity Results for Causal Unit Selection

Feb 28, 2023
Figure 1 for An Algorithm and Complexity Results for Causal Unit Selection
Figure 2 for An Algorithm and Complexity Results for Causal Unit Selection
Figure 3 for An Algorithm and Complexity Results for Causal Unit Selection
Figure 4 for An Algorithm and Complexity Results for Causal Unit Selection
Viaarxiv icon

On the Complexity of Counterfactual Reasoning

Nov 24, 2022
Figure 1 for On the Complexity of Counterfactual Reasoning
Figure 2 for On the Complexity of Counterfactual Reasoning
Figure 3 for On the Complexity of Counterfactual Reasoning
Figure 4 for On the Complexity of Counterfactual Reasoning
Viaarxiv icon

On the Computation of Necessary and Sufficient Explanations

Mar 20, 2022
Figure 1 for On the Computation of Necessary and Sufficient Explanations
Figure 2 for On the Computation of Necessary and Sufficient Explanations
Figure 3 for On the Computation of Necessary and Sufficient Explanations
Figure 4 for On the Computation of Necessary and Sufficient Explanations
Viaarxiv icon

Tractable Boolean and Arithmetic Circuits

Add code
Feb 07, 2022
Figure 1 for Tractable Boolean and Arithmetic Circuits
Figure 2 for Tractable Boolean and Arithmetic Circuits
Figure 3 for Tractable Boolean and Arithmetic Circuits
Figure 4 for Tractable Boolean and Arithmetic Circuits
Viaarxiv icon

Causal Inference Using Tractable Circuits

Feb 07, 2022
Viaarxiv icon