Adnan Darwiche

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 72

Top Venues

Publications

Yaofang Zhang, Adnan Darwiche
Which Actions Are Always Necessary in Fully-Observable Non-Deterministic Planning? FLAIRS (2024)
Yizuo Chen, Adnan Darwiche
Identifying Causal Effects Under Functional Dependencies. CoRR (2024)
Haiying Huang, Adnan Darwiche
Causal Unit Selection using Tractable Arithmetic Circuits. CoRR (2024)
Haiying Huang, Adnan Darwiche
Causal Unit Selection using Tractable Arithmetic Circuits. FLAIRS (2024)
Yizuo Chen, Haiying Huang, Adnan Darwiche
Towards an effective practice of learning from data and knowledge. Int. J. Approx. Reason. 171 (2024)
Young Kyu Choi, Carlos Santillana, Yujia Shen, Adnan Darwiche, Jason Cong
FPGA Acceleration of Probabilistic Sentential Decision Diagrams with High-level Synthesis. ACM Trans. Reconfigurable Technol. Syst. 16 (2) (2023)
Chunxi Ji, Adnan Darwiche
A New Class of Explanations for Classifiers with Non-binary Features. JELIA (2023)
Haiying Huang, Adnan Darwiche
An Algorithm and Complexity Results for Causal Unit Selection. CoRR (2023)
Chunxi Ji, Adnan Darwiche
A New Class of Explanations for Classifiers with Non-Binary Features. CoRR (2023)
David Huber, Yizuo Chen, Alessandro Antonucci, Adnan Darwiche, Marco Zaffalon
Tractable Bounding of Counterfactual Queries by Knowledge Compilation. CoRR (2023)
Adnan Darwiche
Logic for Explainable AI. LICS (2023)
Adnan Darwiche
Logic for Explainable AI. CoRR (2023)
Adnan Darwiche, Auguste Hirth
On the (Complete) Reasons Behind Decisions. J. Log. Lang. Inf. 32 (1) (2023)
Haiying Huang, Adnan Darwiche
An Algorithm and Complexity Results for Causal Unit Selection. CLeaR (2023)
Yunqiu Han, Yizuo Chen, Adnan Darwiche
On the Complexity of Counterfactual Reasoning. IJCAI (2023)
Yunqiu Han, Yizuo Chen, Adnan Darwiche
On the Complexity of Counterfactual Reasoning. CoRR (2022)
Adnan Darwiche, Pierre Marquis
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract). IJCAI (2022)
Yizuo Chen, Adnan Darwiche
On the definition and computation of causal treewidth. UAI (2022)
Adnan Darwiche, Chunxi Ji
On the Computation of Necessary and Sufficient Explanations. AAAI (2022)
Adnan Darwiche
Causal Inference Using Tractable Circuits. CoRR (2022)
Adnan Darwiche, Chunxi Ji
On the Computation of Necessary and Sufficient Explanations. CoRR (2022)
Adnan Darwiche
Tractable Boolean and Arithmetic Circuits. CoRR (2022)
Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Open-world probabilistic databases: Semantics, algorithms, complexity. Artif. Intell. 295 (2021)
Adnan Darwiche, Pierre Marquis
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI. J. Artif. Intell. Res. 72 (2021)
Haiying Huang, Adnan Darwiche
On Recovering from Modeling Errors Using Testing Bayesian Networks. ICML (2021)
Adnan Darwiche, Pierre Marquis
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI. CoRR (2021)
Adnan Darwiche
An Advance on Variable Elimination with Applications to Tensor-Based Computation. ECAI (2020)
Adnan Darwiche, Auguste Hirth
On the Reasons Behind Decisions. ECAI (2020)
Yizuo Chen, Arthur Choi, Adnan Darwiche
Supervised Learning with Background Knowledge. PGM (2020)
Arthur Choi, Andy Shih, Anchal Goyanka, Adnan Darwiche
On Symbolically Encoding the Behavior of Random Forests. CoRR (2020)
Adnan Darwiche, Auguste Hirth
On The Reasons Behind Decisions. CoRR (2020)
Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi
On Tractable Representations of Binary Neural Networks. KR (2020)
Yujia Shen, Arthur Choi, Adnan Darwiche
A New Perspective on Learning Context-Specific Independence. PGM (2020)
Adnan Darwiche
Three Modern Roles for Logic in AI. PODS (2020)
Adnan Darwiche
An Advance on Variable Elimination with Applications to Tensor-Based Computation. CoRR (2020)
Yujia Shen, Arthur Choi, Adnan Darwiche
A New Perspective on Learning Context-Specific Independence. CoRR (2020)
Adnan Darwiche
Three Modern Roles for Logic in AI. CoRR (2020)
Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi
On Tractable Representations of Binary Neural Networks. CoRR (2020)
Yujia Shen, Anchal Goyanka, Adnan Darwiche, Arthur Choi
Structured Bayesian Networks: From Inference to Learning with Routes. AAAI (2019)
Yujia Shen, Haiying Huang, Arthur Choi, Adnan Darwiche
Conditional Independence in Testing Bayesian Networks. ICML (2019)
Arthur Choi, Ruocheng Wang, Adnan Darwiche
On the relative expressiveness of Bayesian and neural networks. Int. J. Approx. Reason. 113 (2019)
Andy Shih, Arthur Choi, Adnan Darwiche
Compiling Bayesian Network Classifiers into Decision Graphs. AAAI (2019)
Andy Shih, Adnan Darwiche, Arthur Choi
Verifying Binarized Neural Networks by Angluin-Style Learning. SAT (2019)
Adnan Darwiche
Human-level intelligence or animal-like abilities? Commun. ACM 61 (10) (2018)
Arthur Choi, Adnan Darwiche
On the Relative Expressiveness of Bayesian and Neural Networks. PGM (2018)
Yujia Shen, Arthur Choi, Adnan Darwiche
Conditional PSDDs: Modeling and Learning With Modular Knowledge. AAAI (2018)
Andy Shih, Arthur Choi, Adnan Darwiche
A Symbolic Approach to Explaining Bayesian Network Classifiers. CoRR (2018)
Andy Shih, Arthur Choi, Adnan Darwiche
A Symbolic Approach to Explaining Bayesian Network Classifiers. IJCAI (2018)
Eunice Yuh-Jie Chen, Adnan Darwiche, Arthur Choi
On pruning with the MDL Score. Int. J. Approx. Reason. 92 (2018)
Andy Shih, Arthur Choi, Adnan Darwiche
Formal Verification of Bayesian Network Classifiers. PGM (2018)
Umut Oztok, Adnan Darwiche
An Exhaustive DPLL Algorithm for Model Counting. J. Artif. Intell. Res. 62 (2018)
Arthur Choi, Ruocheng Wang, Adnan Darwiche
On the Relative Expressiveness of Bayesian and Neural Networks. CoRR (2018)
Arthur Choi, Yujia Shen, Adnan Darwiche
Tractability in Structured Probability Spaces. NIPS (2017)
Umut Oztok, Adnan Darwiche
On Compiling DNNFs without Determinism. CoRR (2017)
Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Open-World Probabilistic Databases: An Abridged Report. IJCAI (2017)
Arthur Choi, Adnan Darwiche
On Relaxing Determinism in Arithmetic Circuits. ICML (2017)
Tiansheng Yao, Arthur Choi, Adnan Darwiche
Learning Bayesian network parameters under equivalence constraints. Artif. Intell. 244 (2017)
Yujia Shen, Arthur Choi, Adnan Darwiche
A Tractable Probabilistic Model for Subset Selection. UAI (2017)
Adnan Darwiche
Human-Level Intelligence or Animal-Like Abilities? CoRR (2017)
Arthur Choi, Adnan Darwiche
On Relaxing Determinism in Arithmetic Circuits. CoRR (2017)
YooJung Choi, Adnan Darwiche, Guy Van den Broeck
Optimal Feature Selection for Decision Robustness in Bayesian Networks. IJCAI (2017)
Adnan Darwiche, Pierre Marquis, Dan Suciu, Stefan Szeider
Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381). Dagstuhl Reports 7 (9) (2017)
Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche
On Pruning with the MDL Score. Probabilistic Graphical Models (2016)
Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche
Enumerating Equivalence Classes of Bayesian Networks using EC Graphs. AISTATS (2016)
Adnan Darwiche, João Marques-Silva, Pierre Marquis
Preface: The Beyond NP Workshop. AAAI Workshop: Beyond NP (2016)
Stefano V. Albrecht, Bruno Bouchard, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka Jr., Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael J. Witbrock, Jie Zhang
Reports of the 2016 AAAI Workshop Program. AI Mag. 37 (3) (2016)
Eunice Yuh-Jie Chen, Yujia Shen, Arthur Choi, Adnan Darwiche
Learning Bayesian networks with ancestral constraints. NIPS (2016)
Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Open World Probabilistic Databases (Extended Abstract). Description Logics (2016)
Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Open-World Probabilistic Databases. KR (2016)
Arthur Choi, Nazgol Tavabi, Adnan Darwiche
Structured Features in Naive Bayes Classification. AAAI (2016)
Umut Oztok, Arthur Choi, Adnan Darwiche
-Complete Problems Using Knowledge Compilation. KR (2016)
Yujia Shen, Arthur Choi, Adnan Darwiche
Tractable Operations for Arithmetic Circuits of Probabilistic Models. NIPS (2016)
Guy Van den Broeck, Adnan Darwiche
On the Role of Canonicity in Knowledge Compilation. AAAI (2015)
Arthur Choi, Adnan Darwiche
Dual Decomposition from the Perspective of Relax, Compensate and then Recover. CoRR (2015)
Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
Computer Adaptive Testing Using the Same-Decision Probability. BMA@UAI (2015)
Arthur Choi, Guy Van den Broeck, Adnan Darwiche
Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions. IJCAI (2015)
Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
Value of Information Based on Decision Robustness. AAAI (2015)
Khaled S. Refaat, Adnan Darwiche
Data Compression for Learning MRF Parameters. IJCAI (2015)
Arthur Choi, Guy Van den Broeck, Adnan Darwiche
Probability Distributions over Structured Spaces. AAAI Spring Symposia (2015)
Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche
Learning Bayesian Networks with Non-Decomposable Scores. GKR (2015)
Khaled S. Refaat, Adnan Darwiche
An Upper Bound on the Global Optimum in Parameter Estimation. UAI (2015)
Guy Van den Broeck, Karthika Mohan, Arthur Choi, Adnan Darwiche, Judea Pearl
Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data. UAI (2015)
Umut Oztok, Adnan Darwiche
A Top-Down Compiler for Sentential Decision Diagrams. IJCAI (2015)
Jessa Bekker, Jesse Davis, Arthur Choi, Adnan Darwiche, Guy Van den Broeck
Tractable Learning for Complex Probability Queries. NIPS (2015)
Adnan Darwiche, Gregory M. Provan
Query DAGs: A Practical Paradigm for Implementing Belief Network Inference. CoRR (2014)
Umut Oztok, Adnan Darwiche
CV-width: A New Complexity Parameter for CNFs. ECAI (2014)
Guy Van den Broeck, Wannes Meert, Adnan Darwiche
Skolemization for Weighted First-Order Model Counting. KR (2014)
Umut Oztok, Adnan Darwiche
On Compiling CNF into Decision-DNNF. CP (2014)
Guy Van den Broeck, Adnan Darwiche
On the Role of Canonicity in Bottom-up Knowledge Compilation. CoRR (2014)
Hei Chan, Adnan Darwiche
When do Numbers Really Matter? CoRR (2014)
Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
Algorithms and Applications for the Same-Decision Probability. J. Artif. Intell. Res. 49 (2014)
Khaled S. Refaat, Arthur Choi, Adnan Darwiche
Decomposing Parameter Estimation Problems. NIPS (2014)
Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche
Probabilistic Sentential Decision Diagrams. KR (2014)
Arthur Choi, Doga Kisa, Adnan Darwiche
Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams. ECSQARU (2013)
Guy Van den Broeck, Adnan Darwiche
On the Complexity and Approximation of Binary Evidence in Lifted Inference. CoRR (2013)
Adnan Darwiche, Moisés Goldszmidt
Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty CoRR (2013)
Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
An Exact Algorithm for Computing the Same-Decision Probability. IJCAI (2013)
Adnan Darwiche, Moisés Goldszmidt
On the Relation between Kappa Calculus and Probabilistic Reasoning CoRR (2013)
Adnan Darwiche
Conditioning Methods for Exact and Approximate Inference in Causal Networks CoRR (2013)
Guy Van den Broeck, Wannes Meert, Adnan Darwiche
Skolemization for Weighted First-Order Model Counting. CoRR (2013)

Adnan Darwiche.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Adnan Darwiche