On Bayesian Network Approximation by Edge Deletion. - Adnan Darwiche; Hei Chan; Arthur Choi (UAI, 2005)

An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality. - Arthur Choi; Adnan Darwiche (AAAI, 2006)

A Variational Approach for Approximating Bayesian Networks by Edge Deletion. - Arthur Choi; Adnan Darwiche (UAI, 2006)

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

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)

Approximating the Partition Function by Deleting and then Correcting for Model Edges. - Arthur Choi; Adnan Darwiche (UAI, 2008)

Efficient Genome Wide Tagging by Reduction to SAT. - Arthur Choi; Noah Zaitlen; Buhm Han; Knot Pipatsrisawat; Adnan Darwiche; Eleazar Eskin (WABI, 2008)

Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis. - Knot Pipatsrisawat; Akop Palyan; Mark Chavira; Arthur Choi; Adnan Darwiche (J. Satisf. Boolean Model. Comput., 2008)

Approximating Weighted Max-SAT Problems by Compensating for Relaxations. - Arthur Choi; Trevor Standley; Adnan Darwiche (CP, 2009)

Approximating MAP by Compensating for Structural Relaxations. - Arthur Choi; Adnan Darwiche (NIPS, 2009)

Relax, Compensate and Then Recover. - Arthur Choi; Adnan Darwiche (JSAI-isAI Workshops, 2010)

Optimal algorithms for haplotype assembly from whole-genome sequence data. - Dan He 001; Arthur Choi; Knot Pipatsrisawat; Adnan Darwiche; Eleazar Eskin (Bioinform., 2010)

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

Basing Decisions on Sentences in Decision Diagrams. - Yexiang Xue; Arthur Choi; Adnan Darwiche (AAAI, 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, 2012)

Same-decision probability: A confidence measure for threshold-based decisions. - Arthur Choi; Yexiang Xue; Adnan Darwiche (Int. J. Approx. Reason., 2012)

Dynamic Minimization of Sentential Decision Diagrams. - Arthur Choi; Adnan Darwiche (AAAI, 2013)

Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams. - Arthur Choi; Doga Kisa; Adnan Darwiche (ECSQARU, 2013)

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

EDML for Learning Parameters in Directed and Undirected Graphical Models. - Khaled S. Refaat; Arthur Choi; Adnan Darwiche (NIPS, 2013)

Software health management with Bayesian networks. - Johann Schumann; Timmy Mbaya; Ole J. Mengshoel; Knot Pipatsrisawat; Ashok N. Srivastava; Arthur Choi; Adnan Darwiche (Innov. Syst. Softw. Eng., 2013)

Probabilistic Sentential Decision Diagrams. - Doga Kisa; Guy Van den Broeck; Arthur Choi; Adnan Darwiche (KR, 2014)

Decomposing Parameter Estimation Problems. - Khaled S. Refaat; Arthur Choi; Adnan Darwiche (NIPS, 2014)

Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data. - Guy Van den Broeck; Karthika Mohan; Arthur Choi; Judea Pearl (CoRR, 2014)

Algorithms and Applications for the Same-Decision Probability. - Suming Jeremiah Chen; Arthur Choi; Adnan Darwiche (J. Artif. Intell. Res., 2014)

Value of Information Based on Decision Robustness. - Suming Jeremiah Chen; Arthur Choi; Adnan Darwiche (AAAI, 2015)

Probability Distributions over Structured Spaces. - Arthur Choi; Guy Van den Broeck; Adnan Darwiche (AAAI Spring Symposia, 2015)

Learning Bayesian Networks with Non-Decomposable Scores. - Eunice Yuh-Jie Chen; Arthur Choi; Adnan Darwiche (GKR, 2015)

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

Tractable Learning for Complex Probability Queries. - Jessa Bekker; Jesse Davis; Arthur Choi; Adnan Darwiche; Guy Van den Broeck (NIPS, 2015)

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

Computer Adaptive Testing Using the Same-Decision Probability. - Suming Jeremiah Chen; Arthur Choi; Adnan Darwiche (BMA@UAI, 2015)

Dual Decomposition from the Perspective of Relax, Compensate and then Recover. - Arthur Choi; Adnan Darwiche (CoRR, 2015)

Structured Features in Naive Bayes Classification. - Arthur Choi; Nazgol Tavabi; Adnan Darwiche (AAAI, 2016)

Enumerating Equivalence Classes of Bayesian Networks using EC Graphs. - Eunice Yuh-Jie Chen; Arthur Choi; Adnan Darwiche (AISTATS, 2016)

Solving PPPP-Complete Problems Using Knowledge Compilation. - Umut Oztok; Arthur Choi; Adnan Darwiche (KR, 2016)

Learning Bayesian networks with ancestral constraints. - Eunice Yuh-Jie Chen; Yujia Shen; Arthur Choi; Adnan Darwiche (NIPS, 2016)

Tractable Operations for Arithmetic Circuits of Probabilistic Models. - Yujia Shen; Arthur Choi; Adnan Darwiche (NIPS, 2016)

On Relaxing Determinism in Arithmetic Circuits. - Arthur Choi; Adnan Darwiche (ICML, 2017)

Tractability in Structured Probability Spaces. - Arthur Choi; Yujia Shen; Adnan Darwiche (NIPS, 2017)

A Tractable Probabilistic Model for Subset Selection. - Yujia Shen; Arthur Choi; Adnan Darwiche (UAI, 2017)

Learning Bayesian network parameters under equivalence constraints. - Tiansheng Yao; Arthur Choi; Adnan Darwiche (Artif. Intell., 2017)

Conditional PSDDs: Modeling and Learning With Modular Knowledge. - Yujia Shen; Arthur Choi; Adnan Darwiche (AAAI, 2018)

A Symbolic Approach to Explaining Bayesian Network Classifiers. - Andy Shih; Arthur Choi; Adnan Darwiche (IJCAI, 2018)

On the Relative Expressiveness of Bayesian and Neural Networks. - Arthur Choi; Adnan Darwiche (PGM, 2018)

Formal Verification of Bayesian Network Classifiers. - Andy Shih; Arthur Choi; Adnan Darwiche (PGM, 2018)

On pruning with the MDL Score. - Eunice Yuh-Jie Chen; Adnan Darwiche; Arthur Choi (Int. J. Approx. Reason., 2018)

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

Compiling Bayesian Network Classifiers into Decision Graphs. - Andy Shih; Arthur Choi; Adnan Darwiche (AAAI, 2019)

Conditional Independence in Testing Bayesian Networks. - Yujia Shen; Haiying Huang 002; Arthur Choi; Adnan Darwiche (ICML, 2019)

Verifying Binarized Neural Networks by Angluin-Style Learning. - Andy Shih; Adnan Darwiche; Arthur Choi (SAT, 2019)

On the relative expressiveness of Bayesian and neural networks. - Arthur Choi; Ruocheng Wang; Adnan Darwiche (Int. J. Approx. Reason., 2019)

On Tractable Representations of Binary Neural Networks. - Weijia Shi; Andy Shih; Adnan Darwiche; Arthur Choi (KR, 2020)

Supervised Learning with Background Knowledge. - Yizuo Chen; Arthur Choi; Adnan Darwiche (PGM, 2020)

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

On Symbolically Encoding the Behavior of Random Forests. - Arthur Choi; Andy Shih; Anchal Goyanka; Adnan Darwiche (CoRR, 2020)

On Bounding the Behavior of a Neuron. - Richard Borowski; Arthur Choi (FLAIRS, 2023)

On Training Neurons with Bounded Compilations. - Lance Kennedy; Issouf Kindo; Arthur Choi (KR, 2023)

On Provenance in Topic Models. - Misha Sharma; Arthur Choi (ACM Southeast Regional Conference, 2024)

On Bounding the Behavior of Neurons. - Richard Borowski; Arthur Choi (Int. J. Artif. Intell. Tools, 2024)