Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox
Picture for Adnan Darwiche

Adnan Darwiche
Alert button

Logic for Explainable AI


May 09, 2023
Adnan Darwiche

Add code
Alert button

* To appear in the 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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


Apr 28, 2023
Chunxi Ji, Adnan Darwiche

Add code
Alert button


   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

An Algorithm and Complexity Results for Causal Unit Selection


Feb 28, 2023
Haiying Huang, Adnan Darwiche

Add code
Alert button

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
* To be published in the 2nd Conference on Causal Learning and Reasoning (CLeaR 2023) 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On the Complexity of Counterfactual Reasoning


Nov 24, 2022
Yunqiu Han, Yizuo Chen, Adnan Darwiche

Add code
Alert button

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
* An earlier version of this paper appeared in NeurIPS 2022 workshop, "A causal view on dynamical systems." 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On the Computation of Necessary and Sufficient Explanations


Mar 20, 2022
Adnan Darwiche, Chunxi Ji

Add code
Alert button

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
* To appear in the proceedings of AAAI 2022 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Tractable Boolean and Arithmetic Circuits


Feb 07, 2022
Adnan Darwiche

Add code
Alert button

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
* An earlier version of this article appeared in the following edited book. Pascal Hitzler and Md Kamruzzaman Sarker, editors. Neuro-Symbolic Artificial Intelligence: The State of the Art, volume 342 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2021 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Causal Inference Using Tractable Circuits


Feb 07, 2022
Adnan Darwiche

Add code
Alert button

* Appeared in Why-21 workshop of NeurIPS 2021 (Causal Inference & Machine Learning: Why now?) 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI


Aug 23, 2021
Adnan Darwiche, Pierre Marquis

Add code
Alert button

Figure 1 for On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI
Figure 2 for On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI
Figure 3 for On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI
Figure 4 for On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI
* To be published in Journal of Artificial Intelligence Research (JAIR) with minor modifications 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On Symbolically Encoding the Behavior of Random Forests


Jul 03, 2020
Arthur Choi, Andy Shih, Anchal Goyanka, Adnan Darwiche

Add code
Alert button

Figure 1 for On Symbolically Encoding the Behavior of Random Forests
* Presented at the 3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), 2020 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

A New Perspective on Learning Context-Specific Independence


Jun 12, 2020
Yujia Shen, Arthur Choi, Adnan Darwiche

Add code
Alert button

Figure 1 for A New Perspective on Learning Context-Specific Independence
Figure 2 for A New Perspective on Learning Context-Specific Independence
Figure 3 for A New Perspective on Learning Context-Specific Independence
Figure 4 for A New Perspective on Learning Context-Specific Independence

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
3
4
5
6
>>