Darwiche, Adnan

108 publications

NeurIPS 2024 Identifying Causal Effects Under Functional Dependencies Yizuo Chen, Adnan Darwiche

CLeaR 2023 An Algorithm and Complexity Results for Causal Unit Selection Haiying Huang, Adnan Darwiche

IJCAI 2023 On the Complexity of Counterfactual Reasoning Yunqiu Han, Yizuo Chen, Adnan Darwiche

IJCAI 2022 On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI (Extended Abstract) Adnan Darwiche, Pierre Marquis

NeurIPSW 2022 On the Complexity of Counterfactual Reasoning Yunqiu Han, Yizuo Chen, Adnan Darwiche

AAAI 2022 On the Computation of Necessary and Sufficient Explanations Adnan Darwiche, Chunxi Ji

UAI 2022 On the Definition and Computation of Causal Treewidth Yizuo Chen, Adnan Darwiche

JAIR 2021 On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI Adnan Darwiche, Pierre Marquis

ICML 2021 On Recovering from Modeling Errors Using Testing Bayesian Networks Haiying Huang, Adnan Darwiche

PGM 2020 A New Perspective on Learning Context-Specific Independence Yujia Shen, Arthur Choi, Adnan Darwiche

PGM 2020 Supervised Learning with Background Knowledge Yizuo Chen, Arthur Choi, Adnan Darwiche

AAAI 2019 Compiling Bayesian Network Classifiers into Decision Graphs Andy Shih, Arthur Choi, Adnan Darwiche

ICML 2019 Conditional Independence in Testing Bayesian Networks Yujia Shen, Haiying Huang, Arthur Choi, Adnan Darwiche

AAAI 2019 Structured Bayesian Networks: From Inference to Learning with Routes Yujia Shen, Anchal Goyanka, Adnan Darwiche, Arthur Choi

IJCAI 2018 A Symbolic Approach to Explaining Bayesian Network Classifiers Andy Shih, Arthur Choi, Adnan Darwiche

JAIR 2018 An Exhaustive DPLL Algorithm for Model Counting Umut Oztok, Adnan Darwiche

AAAI 2018 Conditional PSDDs: Modeling and Learning with Modular Knowledge Yujia Shen, Arthur Choi, Adnan Darwiche

PGM 2018 Formal Verification of Bayesian Network Classifiers Andy Shih, Arthur Choi, Adnan Darwiche

PGM 2018 On the Relative Expressiveness of Bayesian and Neural Networks Arthur Choi, Adnan Darwiche

UAI 2017 A Tractable Probabilistic Model for Subset Selection Yujia Shen, Arthur Choi, Adnan Darwiche

ICML 2017 On Relaxing Determinism in Arithmetic Circuits Arthur Choi, Adnan Darwiche

IJCAI 2017 Open-World Probabilistic Databases: An Abridged Report Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck

IJCAI 2017 Optimal Feature Selection for Decision Robustness in Bayesian Networks YooJung Choi, Adnan Darwiche, Guy Van den Broeck

NeurIPS 2017 Tractability in Structured Probability Spaces Arthur Choi, Yujia Shen, Adnan Darwiche

AISTATS 2016 Enumerating Equivalence Classes of Bayesian Networks Using EC Graphs Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche

NeurIPS 2016 Learning Bayesian Networks with Ancestral Constraints Eunice Yuh-Jie Chen, Yujia Shen, Arthur Choi, Adnan Darwiche

PGM 2016 On Pruning with the MDL Score Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche

AAAI 2016 Structured Features in Naive Bayes Classification Arthur Choi, Nazgol Tavabi, Adnan Darwiche

NeurIPS 2016 Tractable Operations for Arithmetic Circuits of Probabilistic Models Yujia Shen, Arthur Choi, Adnan Darwiche

IJCAI 2015 A Top-Down Compiler for Sentential Decision Diagrams Umut Oztok, Adnan Darwiche

UAI 2015 An Upper Bound on the Global Optimum in Parameter Estimation Khaled S. Refaat, Adnan Darwiche

UAI 2015 Computer Adaptive Testing Using the Same-Decision Probability Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche

IJCAI 2015 Data Compression for Learning MRF Parameters Khaled S. Refaat, Adnan Darwiche

UAI 2015 Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data Guy Van den Broeck, Karthika Mohan, Arthur Choi, Adnan Darwiche, Judea Pearl

AAAI 2015 On the Role of Canonicity in Knowledge Compilation Guy Van den Broeck, Adnan Darwiche

NeurIPS 2015 Tractable Learning for Complex Probability Queries Jessa Bekker, Jesse Davis, Arthur Choi, Adnan Darwiche, Guy Van den Broeck

IJCAI 2015 Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions Arthur Choi, Guy Van den Broeck, Adnan Darwiche

AAAI 2015 Value of Information Based on Decision Robustness Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche

JAIR 2014 Algorithms and Applications for the Same-Decision Probability Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche

NeurIPS 2014 Decomposing Parameter Estimation Problems Khaled S Refaat, Arthur Choi, Adnan Darwiche

IJCAI 2013 An Exact Algorithm for Computing the Same-Decision Probability Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche

AAAI 2013 Dynamic Minimization of Sentential Decision Diagrams Arthur Choi, Adnan Darwiche

NeurIPS 2013 EDML for Learning Parameters in Directed and Undirected Graphical Models Khaled S Refaat, Arthur Choi, Adnan Darwiche

NeurIPS 2013 On the Complexity and Approximation of Binary Evidence in Lifted Inference Guy Van den Broeck, Adnan Darwiche

AAAI 2012 Basing Decisions on Sentences in Decision Diagrams Yexiang Xue, Arthur Choi, Adnan Darwiche

UAI 2012 Lifted Relax, Compensate and Then Recover: From Approximate to Exact Lifted Probabilistic Inference Guy Van den Broeck, Arthur Choi, Adnan Darwiche

UAI 2012 New Advances and Theoretical Insights into EDML Khaled S. Refaat, Arthur Choi, Adnan Darwiche

UAI 2011 EDML: A Method for Learning Parameters in Bayesian Networks Arthur Choi, Khaled S. Refaat, Adnan Darwiche

IJCAI 2011 SDD: A New Canonical Representation of Propositional Knowledge Bases Adnan Darwiche

AAAI 2010 A Lower Bound on the Size of Decomposable Negation Normal Form Thammanit Pipatsrisawat, Adnan Darwiche

IJCAI 2009 A New D-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT Knot Pipatsrisawat, Adnan Darwiche

NeurIPS 2009 Approximating MAP by Compensating for Structural Relaxations Arthur Choi, Adnan Darwiche

AAAI 2008 A New Clause Learning Scheme for Efficient Unsatisfiability Proofs Knot Pipatsrisawat, Adnan Darwiche

UAI 2008 Approximating the Partition Function by Deleting and Then Correcting for Model Edges Arthur Choi, Adnan Darwiche

AAAI 2008 Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft Ole J. Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Scott Poll, N. Serdar Uckun

UAI 2008 Evaluating Probabilistic Reasoning Systems Adnan Darwiche, Rina Dechter

AAAI 2008 Focusing Generalizations of Belief Propagation on Targeted Queries Arthur Choi, Adnan Darwiche

AAAI 2008 Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations Arthur Choi, Adnan Darwiche

AAAI 2008 New Compilation Languages Based on Structured Decomposability Knot Pipatsrisawat, Adnan Darwiche

IJCAI 2007 Compiling Bayesian Networks Using Variable Elimination Mark Chavira, Adnan Darwiche

UAI 2007 Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks Arthur Choi, Mark Chavira, Adnan Darwiche

JAIR 2007 The Language of Search Jinbo Huang, Adnan Darwiche

UAI 2006 A Variational Approach for Approximating Bayesian Networks by Edge Deletion Arthur Choi, Adnan Darwiche

AAAI 2006 An Edge Deletion Semantics for Belief Propagation and Its Practical Impact on Approximation Quality Arthur Choi, Adnan Darwiche

UAI 2006 On the Robustness of Most Probable Explanations Hei Chan, Adnan Darwiche

AAAI 2006 Solving MAP Exactly by Searching on Compiled Arithmetic Circuits Jinbo Huang, Mark Chavira, Adnan Darwiche

IJCAI 2005 Compiling Bayesian Networks with Local Structure Mark Chavira, Adnan Darwiche

IJCAI 2005 DPLL with a Trace: From SAT to Knowledge Compilation Jinbo Huang, Adnan Darwiche

UAI 2005 Exploiting Evidence in Probabilistic Inference Mark Chavira, David Allen, Adnan Darwiche

UAI 2005 On Bayesian Network Approximation by Edge Deletion Adnan Darwiche, Hei Chan, Arthur Choi

AAAI 2005 On Compiling System Models for Faster and More Scalable Diagnosis Jinbo Huang, Adnan Darwiche

IJCAI 2005 Sensitivity Analysis in Markov Networks Hei Chan, Adnan Darwiche

JAIR 2004 Complexity Results and Approximation Strategies for MAP Explanations James D. Park, Adnan Darwiche

UAI 2004 Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters Hei Chan, Adnan Darwiche

IJCAI 2003 A Structure-Based Variable Ordering Heuristic for SAT Jinbo Huang, Adnan Darwiche

UAI 2003 New Advances in Inference by Recursive Conditioning David Allen, Adnan Darwiche

IJCAI 2003 On the Revision of Probabilistic Beliefs Using Uncertain Evidence Hei Chan, Adnan Darwiche

IJCAI 2003 Optimal Time-Space Tradeoff in Probabilistic Inference David Allen, Adnan Darwiche

UAI 2003 Reasoning About Bayesian Network Classifiers Hei Chan, Adnan Darwiche

UAI 2003 Solving MAP Exactly Using Systematic Search James D. Park, Adnan Darwiche

AAAI 2002 A Compiler for Deterministic, Decomposable Negation Normal Form Adnan Darwiche

NeurIPS 2002 A Differential Semantics for Jointree Algorithms James D. Park, Adnan Darwiche

AAAI 2002 A Distance Measure for Bounding Probabilistic Belief Change Hei Chan, Adnan Darwiche

JAIR 2002 A Knowledge Compilation mAP Adnan Darwiche, Pierre Marquis

UAI 2002 UAI '02, Proceedings of the 18th Conference in Uncertainty in Artificial Intelligence, University of Alberta, Edmonton, Alberta, Canada, August 1-4, 2002 Adnan Darwiche, Nir Friedman

JAIR 2002 When Do Numbers Really Matter? Hei Chan, Adnan Darwiche

IJCAI 2001 A Perspective on Knowledge Compilation Adnan Darwiche, Pierre Marquis

UAI 2001 Approximating MAP Using Local Search James D. Park, Adnan Darwiche

UAI 2001 When Do Numbers Really Matter? Hei Chan, Adnan Darwiche

UAI 2000 A Differential Approach to Inference in Bayesian Networks Adnan Darwiche

UAI 2000 Any-Space Probabilistic Inference Adnan Darwiche

IJCAI 1999 Compiling Knowledge into Decomposable Negation Normal Form Adnan Darwiche

IJCAI 1999 Utilizing Device Behavior in Structure-Based Diagnosis Adnan Darwiche

UAI 1998 Dynamic Jointrees Adnan Darwiche

JAIR 1998 Model-Based Diagnosis Using Structured System Descriptions Adnan Darwiche

UAI 1997 A Standard Approach for Optimizing Belief Network Inference Using Query DAGs Adnan Darwiche, Gregory M. Provan

JAIR 1997 Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference Adnan Darwiche, Gregory M. Provan

AAAI 1997 The Effect of Observations on the Complexity of Model-Based Diagnosis Adnan Darwiche, Gregory M. Provan

UAI 1996 Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference Adnan Darwiche, Gregory M. Provan

AAAI 1996 Utilizing Knowledge-Base Semantics in Graph-Based Algorithms Adnan Darwiche

UAI 1995 Conditioning Algorithms for Exact and Approximate Inference in Causal Networks Adnan Darwiche

IJCAI 1995 Model-Based Diagnosis Using Causal Networks Adnan Darwiche

UAI 1994 Action Networks: A Framework for Reasoning About Actions and Change Under Uncertainty Adnan Darwiche, Moisés Goldszmidt

UAI 1994 On the Relation Between Kappa Calculus and Probabilistic Reasoning Adnan Darwiche, Moisés Goldszmidt

AAAI 1994 Symbolic Causal Networks Adnan Darwiche, Judea Pearl

UAI 1993 Argument Calculus and Networks Adnan Darwiche

AAAI 1992 A Symbolic Generalization of Probability Theory Adnan Darwiche, Matthew L. Ginsberg

UAI 1992 Objection-Based Causal Exception Networks Adnan Darwiche