Arthur Choi | publications

2024

On Bounding the Behavior of Neurons

Richard Borowski and and Arthur Choi

International Journal on AI Tools (IJAIT) 2024

PDF bibtex
```
      @article{BorowskiChoi24,
  author = {Borowski, Richard and Choi, Arthur},
  title = {On Bounding the Behavior of Neurons},
  journal = {International Journal on AI Tools ({IJAIT})},
  year = {2024},
  volume = {33},
  number = {3},
  pdf = {BC24.pdf}
}

      
```
On Provenance in Topic Models

Misha Sharma and and Arthur Choi

In Proceedings of 62nd ACM Southeast Conference (ACMSE) 2024

PDF bibtex
```
      @inproceedings{SharmaChoi,
  author = {Sharma, Misha and Choi, Arthur},
  title = {On Provenance in Topic Models},
  booktitle = {Proceedings of 62nd {ACM} Southeast Conference ({ACMSE})},
  year = {2024},
  pdf = {SC24.pdf}
}

      
```

2023

An Explainable Artificial Intelligence Software Tool for Weight Management Experts (PRIMO): Mixed Methods Study

Glenn J Fernandes and Arthur Choi and Jacob Michael Schauer and Angela F Pfammatter and Bonnie J Spring and Adnan Darwiche and Nabil I Alshurafa

Journal of Medical Internet Research (JMIR) 2023

bibtex
```
      @article{JMIR23,
  author = {Fernandes, Glenn J and Choi, Arthur and Schauer, Jacob Michael and Pfammatter, Angela F and Spring, Bonnie J and Darwiche, Adnan and Alshurafa, Nabil I},
  title = {An Explainable Artificial Intelligence Software Tool for Weight Management Experts ({PRIMO}): Mixed Methods Study},
  journal = {Journal of Medical Internet Research (JMIR)},
  year = {2023},
  volume = {25}
}

      
```
On Training Neurons with Bounded Compilations

Lance Kennedy and Issouf Kindo and and Arthur Choi

In Proceedings of 20th International Conference on Principles of Knowledge Representation and Reasoning (KR) 2023

PDF bibtex
```
      @inproceedings{KennedyIssoufChoi23,
  author = {Kennedy, Lance and Kindo, Issouf and Choi, Arthur},
  title = {On Training Neurons with Bounded Compilations},
  booktitle = {Proceedings of 20th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  year = {2023},
  pdf = {KIC23.pdf}
}

      
```
On Bounding the Behavior of a Neuron

Richard Borowski and and Arthur Choi

In Proceedings of the 36th International FLAIRS Conference (FLAIRS) 2023

PDF bibtex
```
      @inproceedings{BorowskiChoi23,
  author = {Borowski, Richard and Choi, Arthur},
  title = {On Bounding the Behavior of a Neuron},
  booktitle = {Proceedings of the 36th International {FLAIRS} Conference (FLAIRS)},
  year = {2023},
  pdf = {BC23.pdf}
}

      
```

2022

Do Exact Explanations Make a Difference? A Case Study Among Weight Management Experts

Glenn Fernandes and Arthur Choi and Maia Jacobs and Adnan Darwiche and Nabil Alshurafa

In Workshop on Trust and Reliance in AI-Human Teams (TRAIT) 2022

PDF bibtex
```
      @inproceedings{FCJDA22,
  author = {Fernandes, Glenn and Choi, Arthur and Jacobs, Maia and Darwiche, Adnan and Alshurafa, Nabil},
  title = {Do Exact Explanations Make a Difference? A Case Study Among Weight Management Experts},
  booktitle = {Workshop on Trust and Reliance in AI-Human Teams (TRAIT)},
  year = {2022},
  pdf = {FCJDA22.pdf}
}

      
```

2020

Lifted Generalized Belief Propagation: Relax, Compensate & Recover

Guy Van den Broeck and Arthur Choi and Adnan Darwiche

In An Introduction to Lifted Probabilistic Inference 2020

bibtex
```
      @incollection{VdbChoiDarwiche20,
  author = {{Van den Broeck}, Guy and Choi, Arthur and Darwiche, Adnan},
  editor = {{Van den Broeck}, Guy and Kersting, Kristian and Natarajan, Sriraam and Poole, David},
  booktitle = {An Introduction to Lifted Probabilistic Inference},
  title = {Lifted Generalized Belief Propagation: Relax, Compensate \& Recover},
  publisher = {MIT Press},
  year = {2020},
  chapter = {12},
  pages = {263--284}
}

      
```
On Tractable Representations of Binary Neural Networks

Weijia Shi and Andy Shih and Adnan Darwiche and and Arthur Choi

In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR) 2020

PDF bibtex
```
      @inproceedings{ShiShihDarwicheChoi20,
  author = {Shi, Weijia and Shih, Andy and Darwiche, Adnan and Choi, Arthur},
  title = {On Tractable Representations of Binary Neural Networks},
  booktitle = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  year = {2020},
  pdf = {SSDC20.pdf}
}

      
```
A New Perspective on Learning Context-Specific Independence

Yujia Shen and Arthur Choi and Adnan Darwiche

In Proceedings of the 10th International Conference on Probabilistic Graphical Models (PGM) 2020

PDF bibtex
```
      @inproceedings{ShenChoiDarwiche20,
  author = {Shen, Yujia and Choi, Arthur and Darwiche, Adnan},
  title = {A New Perspective on Learning Context-Specific Independence},
  booktitle = {Proceedings of the 10th International Conference on Probabilistic Graphical Models (PGM)},
  year = {2020},
  pdf = {SCD20.pdf}
}

      
```
Supervised Learning with Background Knowledge

Yizuo Chen and Arthur Choi and Adnan Darwiche

In Proceedings of the 10th International Conference on Probabilistic Graphical Models (PGM) 2020

PDF bibtex
```
      @inproceedings{ChenChoiDarwiche20,
  author = {Chen, Yizuo and Choi, Arthur and Darwiche, Adnan},
  title = {Supervised Learning with Background Knowledge},
  year = {2020},
  booktitle = {Proceedings of the 10th International Conference on Probabilistic Graphical Models (PGM)},
  pdf = {CCD20.pdf}
}

      
```
Supervised Learning with Background Knowledge

Yizuo Chen and Arthur Choi and Adnan Darwiche

In 1st Workshop on Foundations of Trustworthy AI — Integrating Learning, Optimization and Reasoning (TAILOR) 2020

bibtex
```
      @inproceedings{ChenChoiDarwiche20w,
  author = {Chen, Yizuo and Choi, Arthur and Darwiche, Adnan},
  title = {Supervised Learning with Background Knowledge},
  year = {2020},
  booktitle = {1st Workshop on Foundations of Trustworthy AI --- Integrating Learning, Optimization and Reasoning (TAILOR)}
}

      
```
On Symbolically Encoding the Behavior of Random Forests

Arthur Choi and Andy Shih and Anchal Goyanka and Adnan Darwiche

In 3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS) 2020

bibtex
```
      @inproceedings{ChoiShihGoyankaDarwiche20,
  author = {Choi, Arthur and Shih, Andy and Goyanka, Anchal and Darwiche, Adnan},
  title = {On Symbolically Encoding the Behavior of Random Forests},
  year = {2020},
  booktitle = {3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS)}
}

      
```

2019

On the Relative Expressiveness of Bayesian and Neural Networks

Arthur Choi and Ruocheng Wang and Adnan Darwiche

International Journal of Approximate Reasoning (IJAR) 2019

bibtex
```
      @article{ChoiWangDarwiche19,
  author = {Choi, Arthur and Wang, Ruocheng and Darwiche, Adnan},
  title = {On the Relative Expressiveness of {B}ayesian and Neural Networks},
  journal = {International Journal of Approximate Reasoning (IJAR)},
  volume = {113},
  pages = {303--323},
  year = {2019}
}

      
```
Verifying Binarized Neural Networks by Angluin-Style Learning

Andy Shih and Adnan Darwiche and and Arthur Choi

In Proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing (SAT) 2019

PDF bibtex
```
      @inproceedings{ShihDarwicheChoi19b,
  author = {Shih, Andy and Darwiche, Adnan and Choi, Arthur},
  booktitle = {Proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing (SAT)},
  title = {Verifying Binarized Neural Networks by {A}ngluin-Style Learning},
  year = {2019},
  pages = {354--370},
  pdf = {SDC19.pdf}
}

      
```
Conditional Independence in Testing Bayesian Networks

Yujia Shen and Haiying Huang and Arthur Choi and Adnan Darwiche

In Proceedings of the Thirty-Sixth International Conference on Machine Learning (ICML) 2019

bibtex
```
      @inproceedings{ShenHuangChoiDarwiche19,
  author = {Shen, Yujia and Huang, Haiying and Choi, Arthur and Darwiche, Adnan},
  title = {Conditional Independence in Testing {B}ayesian Networks},
  booktitle = {Proceedings of the Thirty-Sixth International Conference on Machine Learning (ICML)},
  year = {2019},
  pages = {5701--5709}
}

      
```
Compiling Bayesian Networks into Decision Graphs

Andy Shih and Arthur Choi and Adnan Darwiche

In Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI) 2019

PDF bibtex
```
      @inproceedings{ShihChoiDarwiche19,
  author = {Shih, Andy and Choi, Arthur and Darwiche, Adnan},
  title = {Compiling {B}ayesian Networks into Decision Graphs},
  booktitle = {Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  pdf = {SCD19.pdf}
}

      
```
Structured Bayesian Networks: From Inference to Learning with Routes

Yujia Shen and Anchal Goyanka and Adnan Darwiche and and Arthur Choi

In Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI) 2019

PDF bibtex
```
      @inproceedings{ShenGoyankaDarwicheChoi19,
  author = {Shen, Yujia and Goyanka, Anchal and Darwiche, Adnan and Choi, Arthur},
  title = {Structured {B}ayesian Networks: From Inference to Learning with Routes},
  booktitle = {Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  pdf = {SGDC19.pdf}
}

      
```
Verifying Binarized Neural Networks by Local Automaton Learning

Andy Shih and Adnan Darwiche and and Arthur Choi

In AAAI Spring Symposium on Verification of Neural Networks (VNN) 2019

bibtex
```
      @misc{ShihDarwicheChoi19,
  author = {Shih, Andy and Darwiche, Adnan and Choi, Arthur},
  title = {Verifying {B}inarized Neural Networks by Local Automaton Learning},
  year = {2019},
  howpublished = {AAAI Spring Symposium on Verification of Neural Networks (VNN)}
}

      
```
Compiling Neural Networks into Tractable Boolean Circuits

Arthur Choi and Weijia Shi and Andy Shih and Adnan Darwiche

In AAAI Spring Symposium on Verification of Neural Networks (VNN) 2019

bibtex
```
      @misc{ChoiShiShihDarwiche19,
  author = {Choi, Arthur and Shi, Weijia and Shih, Andy and Darwiche, Adnan},
  title = {Compiling Neural Networks into Tractable {B}oolean Circuits},
  year = {2019},
  howpublished = {AAAI Spring Symposium on Verification of Neural Networks (VNN)}
}

      
```

2018

On Pruning with the MDL Score

Eunice Yuh-Jie Chen and Adnan Darwiche and and Arthur Choi

International Journal of Approximate Reasoning (IJAR) 2018

bibtex
```
      @article{ChenDarwicheChoi18,
  author = {Chen, Eunice Yuh{-}Jie and Darwiche, Adnan and Choi, Arthur},
  title = {On Pruning with the {MDL} Score},
  journal = {International Journal of Approximate Reasoning (IJAR)},
  volume = {92},
  pages = {363--375},
  year = {2018}
}

      
```
On the Relative Expressiveness of Bayesian and Neural Networks

Arthur Choi and Adnan Darwiche

In Proceedings of the 9th International Conference on Probabilistic Graphical Models (PGM) 2018

PDF bibtex
```
      @inproceedings{ChoiDarwiche18,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {On the Relative Expressiveness of {B}ayesian and Neural Networks},
  booktitle = {Proceedings of the 9th International Conference on Probabilistic Graphical Models (PGM)},
  year = {2018},
  pdf = {CD18.pdf}
}

      
```
Formal Verification of Bayesian Network Classifiers

Andy Shih and Arthur Choi and Adnan Darwiche

In Proceedings of the 9th International Conference on Probabilistic Graphical Models (PGM) 2018

PDF bibtex
```
      @inproceedings{ShihChoiDarwiche18b,
  author = {Shih, Andy and Choi, Arthur and Darwiche, Adnan},
  title = {Formal Verification of {B}ayesian Network Classifiers},
  booktitle = {Proceedings of the 9th International Conference on Probabilistic Graphical Models (PGM)},
  year = {2018},
  pdf = {SCD18b.pdf}
}

      
```
A Symbolic Approach to Explaining Bayesian Network Classifiers

Andy Shih and Arthur Choi and Adnan Darwiche

In Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI) 2018

PDF bibtex
```
      @inproceedings{ShihCD18,
  author = {Shih, Andy and Choi, Arthur and Darwiche, Adnan},
  title = {A Symbolic Approach to Explaining {B}ayesian Network Classifiers},
  booktitle = {Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI)},
  year = {2018},
  pdf = {SCD18a.pdf}
}

      
```
Conditional PSDDs: Modeling and Learning with Modular Knowledge

Yujia Shen and Arthur Choi and Adnan Darwiche

In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI) 2018

PDF bibtex
```
      @inproceedings{ShenChoiDarwiche18,
  author = {Shen, Yujia and Choi, Arthur and Darwiche, Adnan},
  title = {Conditional {PSDD}s: Modeling and Learning with Modular Knowledge},
  booktitle = {Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2018},
  pdf = {SCD18.pdf}
}

      
```
Explaining the Decisions of a Route Classifier

Weijia Shi and Adnan Darwiche and and Arthur Choi

In 13th Women in Machine Learning Workshop (WiML) 2018

bibtex
```
      @misc{ShiDarwicheChoi18,
  author = {Shi, Weijia and Darwiche, Adnan and Choi, Arthur},
  title = {Explaining the Decisions of a Route Classifier},
  howpublished = {13th Women in Machine Learning Workshop (WiML)},
  year = {2018}
}

      
```
Integrating Grammars with Logic

Ingrid Mattinger and Adnan Darwiche and and Arthur Choi

In 13th Women in Machine Learning Workshop (WiML) 2018

bibtex
```
      @misc{MattingerDarwicheChoi18,
  author = {Mattinger, Ingrid and Darwiche, Adnan and Choi, Arthur},
  title = {Integrating Grammars with Logic},
  howpublished = {13th Women in Machine Learning Workshop (WiML)},
  year = {2018}
}

      
```

2017

Learning Bayesian Network Parameters under Equivalence Constraints

Tiansheng Yao and Arthur Choi and Adnan Darwiche

Artificial Intelligence 2017

PDF bibtex
```
      @article{YaoChoiDarwiche17,
  author = {Yao, Tiansheng and Choi, Arthur and Darwiche, Adnan},
  title = {Learning {B}ayesian Network Parameters under Equivalence Constraints},
  journal = {Artificial Intelligence},
  volume = {244},
  pages = {239--257},
  year = {2017},
  pdf = {YCD17.pdf}
}

      
```
Tractability in Structured Probability Spaces

Arthur Choi and Yujia Shen and Adnan Darwiche

In Advances in Neural Information Processing Systems 30 (NIPS) 2017

PDF bibtex
```
      @inproceedings{ChoiShenDarwiche17,
  author = {Choi, Arthur and Shen, Yujia and Darwiche, Adnan},
  title = {Tractability in Structured Probability Spaces},
  booktitle = {Advances in Neural Information Processing Systems 30 (NIPS)},
  pages = {3480--3488},
  year = {2017},
  pdf = {CSD17.pdf}
}

      
```
A Tractable Probabilistic Model for Subset Selection

Yujia Shen and Arthur Choi and Adnan Darwiche

In Proceedings of the 33rd Conference on Uncertainty in Artificial Intelligence (UAI) 2017

PDF bibtex
```
      @inproceedings{ShenChoiDarwiche17,
  author = {Shen, Yujia and Choi, Arthur and Darwiche, Adnan},
  title = {A Tractable Probabilistic Model for Subset Selection},
  booktitle = {Proceedings of the 33rd Conference on Uncertainty in Artificial Intelligence (UAI)},
  year = {2017},
  pdf = {SCD17.pdf}
}

      
```
On Relaxing Determinism in Arithmetic Circuits

Arthur Choi and Adnan Darwiche

In Proceedings of the Thirty-Fourth International Conference on Machine Learning (ICML) 2017

PDF bibtex
```
      @inproceedings{ChoiDarwiche17,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {On Relaxing Determinism in Arithmetic Circuits},
  booktitle = {Proceedings of the Thirty-Fourth International Conference on Machine Learning (ICML)},
  year = {2017},
  pdf = {CD17.pdf}
}

      
```

2016

Learning Bayesian Networks with Ancestral Constraints

Eunice Yuh-Jie Chen and Yujia Shen and Arthur Choi and Adnan Darwiche

In Advances in Neural Information Processing Systems 29 (NIPS) 2016

PDF bibtex
```
      @inproceedings{ChenSCD16,
  author = {Chen, Eunice Yuh-Jie and Shen, Yujia and Choi, Arthur and Darwiche, Adnan},
  title = {Learning {B}ayesian Networks with Ancestral Constraints},
  booktitle = {Advances in Neural Information Processing Systems 29 (NIPS)},
  year = {2016},
  pdf = {CSCD16.pdf}
}

      
```
Tractable Operations for Arithmetic Circuits of Probabilistic Models

Yujia Shen and Arthur Choi and Adnan Darwiche

In Advances in Neural Information Processing Systems 29 (NIPS) 2016

PDF bibtex
```
      @inproceedings{ShenCD16,
  author = {Shen, Yujia and Choi, Arthur and Darwiche, Adnan},
  title = {Tractable Operations for Arithmetic Circuits of Probabilistic Models},
  booktitle = {Advances in Neural Information Processing Systems 29 (NIPS)},
  year = {2016},
  pdf = {SCD16.pdf}
}

      
```
On Pruning with the MDL Score

Eunice Yuh-Jie Chen and Arthur Choi and Adnan Darwiche

In Proceedings of the 8th International Conference on Probabilistic Graphical Models (PGM) 2016

PDF bibtex
```
      @inproceedings{ChenChoiDarwiche16b,
  author = {Chen, Eunice Yuh-Jie and Choi, Arthur and Darwiche, Adnan},
  title = {On Pruning with the {MDL} Score},
  booktitle = {Proceedings of the 8th International Conference on Probabilistic Graphical Models (PGM)},
  year = {2016},
  pdf = {CCD16b.pdf}
}

      
```
Enumerating Equivalence Classes of Bayesian Networks using EC Graphs

Eunice Yuh-Jie Chen and Arthur Choi and Adnan Darwiche

In Proceedings of the 19th International Conference on Artificial Intelligence and Statistics (AISTATS) 2016

PDF bibtex
```
      @inproceedings{ChenChoiDarwiche16,
  author = {Chen, Eunice Yuh-Jie and Choi, Arthur and Darwiche, Adnan},
  title = {Enumerating Equivalence Classes of {B}ayesian Networks using {EC} Graphs},
  booktitle = {Proceedings of the 19th International Conference on 
  Artificial Intelligence and Statistics (AISTATS)},
  year = {2016},
  pages = {591--599},
  pdf = {CCD16.pdf}
}

      
```
Solving PP^PP-Complete Problems Using Knowledge Compilation

Umut Oztok and Arthur Choi and Adnan Darwiche

In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR) 2016

PDF bibtex
```
      @inproceedings{OztokChoiDarwiche16,
  author = {Oztok, Umut and Choi, Arthur and Darwiche, Adnan},
  title = {Solving ${PP}^{PP}$-Complete Problems Using Knowledge Compilation},
  booktitle = {Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  year = {2016},
  pages = {94--103},
  pdf = {OCD16.pdf}
}

      
```
Structured Features in Naive Bayes Classification

Arthur Choi and Nazgol Tavabi and Adnan Darwiche

In Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI) 2016

PDF bibtex
```
      @inproceedings{ChoiTavabiDarwiche16,
  author = {Choi, Arthur and Tavabi, Nazgol and Darwiche, Adnan},
  title = {Structured Features in Naive {B}ayes Classification},
  booktitle = {Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2016},
  pages = {3233--3240},
  pdf = {CTD16.pdf}
}

      
```
Learning the Structure of Probabilistic SDDs

Jessa Bekker and Arthur Choi and Guy Van den Broeck

In 11th Women in Machine Learning Workshop (WiML) 2016

bibtex
```
      @misc{BekkerChoiVdb16,
  author = {Bekker, Jessa and Choi, Arthur and {Van den Broeck}, Guy},
  title = {Learning the Structure of Probabilistic {SDDs}},
  howpublished = {11th Women in Machine Learning Workshop (WiML)},
  year = {2016}
}

      
```
Same Decision Probability in Neurocritical Care

Fabien Scalzo and Arthur Choi and Adnan Darwiche

In Machine Learning in Health Care 2016

bibtex
```
      @inproceedings{Scalzo15,
  author = {Scalzo, Fabien and Choi, Arthur and Darwiche, Adnan},
  title = {Same Decision Probability in Neurocritical Care},
  booktitle = {Machine Learning in Health Care},
  year = {2016}
}

      
```

2015

Learning Bayesian Network Parameters under Equivalence Constraints

Tiansheng Yao and Arthur Choi and Adnan Darwiche

Artificial Intelligence 2015

bibtex
```
      @article{YaoChoiDarwiche15,
  author = {Yao, Tiansheng and Choi, Arthur and Darwiche, Adnan},
  title = {Learning {B}ayesian Network Parameters under Equivalence Constraints},
  journal = {Artificial Intelligence},
  year = {2015}
}

      
```
Learning Bayesian Networks with Non-Decomposable Scores

Eunice Yuh-Jie Chen and Arthur Choi and Adnan Darwiche

In Proceedings of the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR’15) 2015

PDF bibtex
```
      @inproceedings{chen15learning,
  author = {Chen, Eunice Yuh-Jie and Choi, Arthur and Darwiche, Adnan},
  title = {Learning {B}ayesian Networks with Non-Decomposable Scores},
  booktitle = {Proceedings of the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR'15)},
  series = {Lecture Notes in Artificial Intelligence},
  year = {2015},
  pdf = {CCD15b.pdf}
}

      
```
Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data

Guy Van den Broeck and Karthika Mohan and Arthur Choi and Adnan Darwiche and Judea Pearl

In Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI) 2015

PDF bibtex
```
      @inproceedings{VdbMohanChoiDarwichePearl15,
  author = {{Van den Broeck}, Guy and Mohan, Karthika and Choi, Arthur and Darwiche, Adnan and Pearl, Judea},
  title = {Efficient Algorithms for {B}ayesian Network Parameter Learning from Incomplete Data},
  booktitle = {Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI)},
  year = {2015},
  pages = {161--170},
  pdf = {VMCDP15.pdf}
}

      
```
Tractable Learning for Complex Probability Queries

Jessa Bekker and Jesse Davis and Arthur Choi and Adnan Darwiche and Guy Van den Broeck

In Advances in Neural Information Processing Systems 28 (NIPS) 2015

PDF bibtex
```
      @inproceedings{BekkerDCDV15,
  author = {Bekker, Jessa and Davis, Jesse and Choi, Arthur and Darwiche, Adnan and {Van den Broeck}, Guy},
  title = {Tractable Learning for Complex Probability Queries},
  booktitle = {Advances in Neural Information Processing Systems 28 (NIPS)},
  year = {2015},
  pages = {2233--2241},
  pdf = {BDCDV15.pdf}
}

      
```
Value of Information Based on Decision Robustness

Suming Chen and Arthur Choi and Adnan Darwiche

In Proceedings of the 29th Conference on Artificial Intelligence (AAAI) 2015

PDF bibtex
```
      @inproceedings{Chen2015,
  author = {Chen, Suming and Choi, Arthur and Darwiche, Adnan},
  title = {Value of Information Based on Decision Robustness},
  booktitle = {Proceedings of the 29th Conference on Artificial Intelligence (AAAI)},
  year = {2015},
  pages = {3503-3510},
  pdf = {CCD15.pdf}
}

      
```
Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions

Arthur Choi and Guy Van den Broeck and Adnan Darwiche

In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI) 2015

PDF bibtex
```
      @inproceedings{ChoiVdbDarwiche15,
  author = {Choi, Arthur and {Van den Broeck}, Guy and Darwiche, Adnan},
  title = {Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions},
  booktitle = {Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)},
  year = {2015},
  pages = {2861--2868},
  pdf = {CVD15.pdf}
}

      
```
Computer Adaptive Testing Using the Same-Decision Probability

Suming Chen and Arthur Choi and Adnan Darwiche

In 12th Annual Bayesian Modeling Applications Workshop (BMAW) 2015

bibtex
```
      @misc{CCD15w,
  author = {Chen, Suming and Choi, Arthur and Darwiche, Adnan},
  title = {Computer Adaptive Testing Using the Same-Decision Probability},
  howpublished = {12th Annual Bayesian Modeling Applications Workshop (BMAW)},
  year = {2015}
}

      
```
Probability Distributions over Structured Spaces

Arthur Choi and Guy Van den Broeck and Adnan Darwiche

In AAAI Spring Symposium on Knowledge Representation and Reasoning: Integrating Symbolic and Neural Approaches (KRR) 2015

bibtex
```
      @inproceedings{ChoiVdBDarwiche15w,
  author = {Choi, Arthur and {Van den Broeck}, Guy and Darwiche, Adnan},
  title = {Probability Distributions over Structured Spaces},
  booktitle = {AAAI Spring Symposium on Knowledge Representation and Reasoning: Integrating Symbolic and Neural Approaches (KRR)},
  year = {2015}
}

      
```
Different Strokes: Causality and Outcomes in the NINDS-tPA Trials

David S. Liebeskind and Arthur Choi and Nerses Sanossian and Scot Fang and Adnan Darwiche and Fabien Scalzo

Stroke 2015

bibtex
```
      @article{Liebeskind01022015,
  author = {Liebeskind, David S. and Choi, Arthur and Sanossian, Nerses and Fang, Scot and Darwiche, Adnan and Scalzo, Fabien},
  title = {Different Strokes: Causality and Outcomes in the {NINDS-tPA} Trials},
  volume = {46},
  number = {Suppl 1},
  pages = {AWP267},
  year = {2015},
  journal = {Stroke}
}

      
```

2014

Algorithms and Applications for the Same-Decision Probability

Suming Chen and Arthur Choi and Adnan Darwiche

Journal of Artificial Intelligence Research (JAIR) 2014

bibtex
```
      @article{ChenJAIR14,
  author = {Chen, Suming and Choi, Arthur and Darwiche, Adnan},
  title = {Algorithms and Applications for the Same-Decision Probability},
  journal = {Journal of Artificial Intelligence Research (JAIR)},
  pages = {601-633},
  volume = {49},
  year = {2014}
}

      
```
Probabilistic Sentential Decision Diagrams

Doga Kisa and Guy Van den Broeck and Arthur Choi and Adnan Darwiche

In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) 2014

PDF bibtex
```
      @inproceedings{KisaVCD14,
  author = {Kisa, Doga and {Van den Broeck}, Guy and Choi, Arthur and Darwiche, Adnan},
  title = {Probabilistic Sentential Decision Diagrams},
  booktitle = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  year = {2014},
  pdf = {KVCD14.pdf}
}

      
```
Decomposing Parameter Estimation Problems

Khaled S. Refaat and Arthur Choi and Adnan Darwiche

In Advances in Neural Information Processing Systems 27 (NIPS) 2014

PDF bibtex
```
      @inproceedings{RefaatChoiDarwiche14,
  author = {Refaat, Khaled S. and Choi, Arthur and Darwiche, Adnan},
  title = {Decomposing Parameter Estimation Problems},
  booktitle = {Advances in Neural Information Processing Systems 27 (NIPS)},
  year = {2014},
  pages = {1565--1573},
  pdf = {RCD14.pdf}
}

      
```
Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data

Guy Van den Broeck and Karthika Mohan and Arthur Choi and Judea Pearl

In ICML Workshop on Causal Modeling & Machine Learning 2014

bibtex
```
      @inproceedings{VdBMCP14w,
  author = {{Van den Broeck}, Guy and Mohan, Karthika and Choi, Arthur and Pearl, Judea},
  title = {Efficient Algorithms for {B}ayesian Network Parameter Learning from Incomplete Data},
  booktitle = {ICML Workshop on Causal Modeling \& Machine Learning},
  year = {2014}
}

      
```
Probabilistic Sentential Decision Diagrams: Learning with Massive Logical Constraints

Doga Kisa and Guy Van den Broeck and Arthur Choi and Adnan Darwiche

In ICML Workshop on Learning Tractable Probabilistic Models (LTPM) 2014

bibtex
```
      @inproceedings{KisaVCD14w,
  author = {Kisa, Doga and {Van den Broeck}, Guy and Choi, Arthur and Darwiche, Adnan},
  title = {Probabilistic Sentential Decision Diagrams: Learning with Massive Logical Constraints},
  booktitle = {ICML Workshop on Learning Tractable Probabilistic Models (LTPM)},
  year = {2014}
}

      
```

2013

Software Health Management with Bayesian Networks

Johann Schumann and Timmy Mbaya and Ole Mengshoel and Knot Pipatsrisawat and Ashok Srivastava and Arthur Choi and Adnan Darwiche

Innovations in Systems and Software Engineering 2013

PDF bibtex
```
      @article{SWHM13,
  author = {Schumann, Johann and Mbaya, Timmy and Mengshoel, Ole and Pipatsrisawat, Knot and Srivastava, Ashok and Choi, Arthur and Darwiche, Adnan},
  year = {2013},
  issn = {1614-5046},
  journal = {Innovations in Systems and Software Engineering},
  volume = {9},
  number = {4},
  title = {Software Health Management with {B}ayesian Networks},
  publisher = {Springer London},
  pages = {271-292},
  pdf = {SMMPSCD13.pdf}
}

      
```
EDML for Learning Parameters in Directed and Undirected Graphical Models

Khaled S. Refaat and Arthur Choi and Adnan Darwiche

In Advances in Neural Information Processing Systems 26 (NIPS) 2013

PDF bibtex
```
      @inproceedings{RefaatChoiDarwiche13,
  author = {Refaat, Khaled S. and Choi, Arthur and Darwiche, Adnan},
  title = {{EDML} for Learning Parameters in Directed and Undirected Graphical Models},
  booktitle = {Advances in Neural Information Processing Systems 26 (NIPS)},
  year = {2013},
  pages = {3503--3510},
  pdf = {RCD13.pdf}
}

      
```
An Exact Algorithm for Computing the Same-Decision Probability

Suming Chen and Arthur Choi and Adnan Darwiche

In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI) 2013

PDF bibtex
```
      @inproceedings{ChenChoiDarwiche13,
  author = {Chen, Suming and Choi, Arthur and Darwiche, Adnan},
  title = {An Exact Algorithm for Computing the {S}ame-{D}ecision {P}robability},
  booktitle = {Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI)},
  year = {2013},
  pages = {2525-2531},
  pdf = {CCD13.pdf}
}

      
```
Dynamic Minimization of Sentential Decision Diagrams

Arthur Choi and Adnan Darwiche

In Proceedings of the 27th Conference on Artificial Intelligence (AAAI) 2013

PDF bibtex
```
      @inproceedings{ChoiDarwiche13,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {Dynamic Minimization of {S}entential {D}ecision {D}iagrams},
  booktitle = {Proceedings of the 27th Conference on Artificial Intelligence (AAAI)},
  year = {2013},
  pages = {187-194},
  pdf = {CD13.pdf}
}

      
```
Compiling Probabilistic Graphical Models using Sentential Decision Diagrams

Arthur Choi and Doga Kisa and Adnan Darwiche

In Proceedings of the 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) 2013

PDF bibtex
```
      @inproceedings{ChoiKisaDarwiche13,
  author = {Choi, Arthur and Kisa, Doga and Darwiche, Adnan},
  title = {Compiling Probabilistic Graphical Models using {S}entential {D}ecision {D}iagrams},
  booktitle = {Proceedings of the 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU)},
  year = {2013},
  pages = {121-132},
  pdf = {CKD13.pdf}
}

      
```
EDML for Learning Parameters in Directed and Undirected Graphical Models

Khaled S. Refaat and Arthur Choi and Adnan Darwiche

In ICML 2013 Workshop on Inferning: Interactions between Inference and Learning 2013

bibtex
```
      @misc{RefaatChoiDarwiche13w,
  author = {Refaat, Khaled S. and Choi, Arthur and Darwiche, Adnan},
  title = {{EDML} for Learning Parameters in Directed and Undirected Graphical Models},
  howpublished = {{ICML} 2013 Workshop on
   Inferning: Interactions between Inference and Learning},
  year = {2013}
}

      
```
Learning Bayesian Networks under Equivalence Constraints (Abstract)

Tiansheng Yao and Arthur Choi and Adnan Darwiche

In Second Workshop on Combining Constraint Solving with Mining and Learning (CoCoMiLe) 2013

bibtex
```
      @misc{YaoChoiDarwiche13,
  author = {Yao, Tiansheng and Choi, Arthur and Darwiche, Adnan},
  title = {Learning {B}ayesian Networks under Equivalence Constraints (Abstract)},
  howpublished = {Second Workshop on Combining Constraint Solving with Mining and Learning (CoCoMiLe)},
  year = {2013}
}

      
```

2012

Same-Decision Probability: A Confidence Measure for Threshold-Based Decisions

Arthur Choi and Yexiang Xue and Adnan Darwiche

International Journal of Approximate Reasoning (IJAR) 2012

PDF bibtex
```
      @article{ChoiXueDarwiche11,
  author = {Choi, Arthur and Xue, Yexiang and Darwiche, Adnan},
  title = {{S}ame-{D}ecision {P}robability: 
                 A Confidence Measure for Threshold-Based Decisions},
  journal = {International Journal of Approximate Reasoning (IJAR)},
  year = {2012},
  pages = {1415--1428},
  volume = {53},
  number = {9},
  pdf = {CXD12.pdf}
}

      
```
A Tutorial on Bayesian Networks for System Health Management

Arthur Choi and Lu Zheng and Adnan Darwiche and Ole J. Mengshoel

In Machine Learning and Knowledge Discovery for Engineering Systems Health Management 2012

PDF bibtex
```
      @incollection{Tutorial,
  author = {Choi, Arthur and Zheng, Lu and Darwiche, Adnan and Mengshoel, Ole J.},
  editor = {Srivastava, Ashok N. and Han, Jiawei},
  booktitle = {Machine Learning and Knowledge Discovery for Engineering Systems Health Management},
  title = {A Tutorial on {B}ayesian Networks for System Health
                    Management},
  publisher = {Chapman \& Hall/CRC},
  year = {2012},
  chapter = {2},
  pages = {39--66},
  pdf = {CZDM12.pdf}
}

      
```
Basing Decisions on Sentences in Decision Diagrams

Yexiang Xue and Arthur Choi and Adnan Darwiche

In Proceedings of the 26th Conference on Artificial Intelligence (AAAI) 2012

PDF bibtex
```
      @inproceedings{XueChoiDarwiche12,
  author = {Xue, Yexiang and Choi, Arthur and Darwiche, Adnan},
  title = {Basing Decisions on Sentences in Decision Diagrams},
  booktitle = {Proceedings of the 26th Conference on Artificial Intelligence (AAAI)},
  year = {2012},
  pages = {842--849},
  pdf = {XCD12.pdf}
}

      
```
Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference

Guy Van den Broeck and Arthur Choi and Adnan Darwiche

In Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence (UAI) 2012

PDF bibtex
```
      @inproceedings{VanDenBroeckChoiDarwiche12,
  author = {{Van den Broeck}, Guy and Choi, Arthur and Darwiche, Adnan},
  title = {Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference},
  booktitle = {Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence (UAI)},
  year = {2012},
  pages = {131--141},
  pdf = {VCD12.pdf}
}

      
```
New Advances and Theoretical Insights into EDML

Khaled S. Refaat and Arthur Choi and Adnan Darwiche

In Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence (UAI) 2012

PDF bibtex
```
      @inproceedings{RefaatChoiDarwiche12,
  author = {Refaat, Khaled S. and Choi, Arthur and Darwiche, Adnan},
  title = {New Advances and Theoretical Insights into {EDML}},
  booktitle = {Proceedings of the 28th Conference on Uncertainty in Artificial Intelligence (UAI)},
  year = {2012},
  pages = {705--714},
  pdf = {RCD12.pdf}
}

      
```
The Same-Decision Probability: A New Tool for Decision Making

Suming Chen and Arthur Choi and Adnan Darwiche

In Proceedings of the 6th European Workshop on Probabilistic Graphical Models (PGM) 2012

PDF bibtex
```
      @inproceedings{ChenChoiDarwiche12,
  author = {Chen, Suming and Choi, Arthur and Darwiche, Adnan},
  title = {The {S}ame-{D}ecision {P}robability: A New Tool for Decision Making},
  booktitle = {Proceedings of the 6th European Workshop on Probabilistic Graphical Models (PGM)},
  year = {2012},
  pages = {51--58},
  pdf = {CCD12.pdf}
}

      
```
Concept Networks (Abstract)

Tiansheng Yao and Arthur Choi and Adnan Darwiche

In The Uncertainty in Natural Intelligence Workshop at UAI 2012

bibtex
```
      @misc{YaoChoiDarwiche12,
  author = {Yao, Tiansheng and Choi, Arthur and Darwiche, Adnan},
  title = {Concept Networks (Abstract)},
  howpublished = {The Uncertainty in Natural Intelligence Workshop at UAI},
  year = {2012}
}

      
```

2011

Relax, Compensate and Then Recover

Arthur Choi and Adnan Darwiche

In New Frontiers in Artificial Intelligence 2011

PDF bibtex

      @incollection{ChoiDarwiche11,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {Relax, Compensate and Then Recover},
  booktitle = {New Frontiers in Artificial Intelligence},
  series = {Lecture Notes in Computer Science},
  editor = {Onada, Takashi and Bekki, Daisuke and McCready, Eric},
  publisher = {Springer Berlin / Heidelberg},
  pages = {167-180},
  volume = {6797},
  year = {2011},
  pdf = {CD11.pdf}
}

EDML: A Method for Learning Parameters in Bayesian Networks

Arthur Choi and Khaled S. Refaat and Adnan Darwiche

In Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI) 2011

PDF bibtex
```
      @inproceedings{ChoiRefaatDarwiche11,
  author = {Choi, Arthur and Refaat, Khaled S. and Darwiche, Adnan},
  title = {{EDML}: A Method for Learning Parameters in {B}ayesian Networks},
  booktitle = {Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI)},
  year = {2011},
  pages = {115--124},
  pdf = {CRD11.pdf}
}

      
```

2010

Optimal Algorithms for Haplotype Assembly from Whole-Genome Sequence Data

Dan He and Arthur Choi and Knot Pipatsrisawat and Adnan Darwiche and Eleazar Eskin

Bioinformatics [ISMB] 2010

bibtex
```
      @article{HeCPDE10,
  author = {He, Dan and Choi, Arthur and Pipatsrisawat, Knot and Darwiche, Adnan and Eskin, Eleazar},
  title = {Optimal Algorithms for Haplotype Assembly from Whole-Genome
                 Sequence Data},
  journal = {Bioinformatics [ISMB]},
  volume = {26},
  number = {12},
  year = {2010},
  pages = {183-190}
}

      
```
Optimal Algorithms for Haplotype Assembly From Whole-Genome Sequence Data

Dan He and Arthur Choi and Knot Pipatsrisawat and Adnan Darwiche and Eleazar Eskin

In Proceedings of the 18th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) 2010

bibtex
```
      @inproceedings{HeCPDE10b,
  author = {He, Dan and Choi, Arthur and Pipatsrisawat, Knot and Darwiche, Adnan and Eskin, Eleazar},
  title = {Optimal Algorithms for Haplotype Assembly From Whole-Genome Sequence Data},
  booktitle = {Proceedings of the 18th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB)},
  year = {2010},
  pages = {183-190}
}

      
```
Same-Decision Probability: A Confidence Measure for Threshold-Based Decisions under Noisy Sensors

Adnan Darwiche and and Arthur Choi

In Proceedings of the Fifth European Workshop on Probabilistic Graphical Models (PGM) 2010

PDF bibtex
```
      @inproceedings{DarwicheChoi10,
  author = {Darwiche, Adnan and Choi, Arthur},
  title = {{S}ame-{D}ecision {P}robability: A Confidence Measure for Threshold-Based Decisions under Noisy Sensors},
  booktitle = {Proceedings of the Fifth European Workshop on Probabilistic Graphical Models (PGM)},
  pages = {113--120},
  year = {2010},
  pdf = {DC10.pdf}
}

      
```
On a Discrete Dirichlet Model

Arthur Choi and Adnan Darwiche

In Proceedings of the Fifth European Workshop on Probabilistic Graphical Models (PGM) 2010

PDF bibtex
```
      @inproceedings{ChoiDarwiche10a,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {On a Discrete {D}irichlet Model},
  booktitle = {Proceedings of the Fifth European Workshop on Probabilistic Graphical Models (PGM)},
  pages = {65--72},
  year = {2010},
  pdf = {CD10.pdf}
}

      
```

2009

An Edge Deletion Semantics for Belief Propagation

Arthur Choi and Adnan Darwiche

In 2009

bibtex
```
      @misc{ChoiDarwiche09,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {An Edge Deletion Semantics for Belief Propagation},
  year = {2009}
}

      
```
Approximating Weighted Max-SAT Problems by Compensating for Relaxations

Arthur Choi and Trevor Standley and Adnan Darwiche

In Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP) 2009

PDF bibtex
```
      @inproceedings{ChoiDarwiche09a,
  author = {Choi, Arthur and Standley, Trevor and Darwiche, Adnan},
  title = {Approximating Weighted {Max-SAT} Problems by Compensating for Relaxations},
  booktitle = {Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP)},
  year = {2009},
  pages = {211--225},
  pdf = {CSD09.pdf}
}

      
```
Relax then Compensate: On Max-Product Belief Propagation and More

Arthur Choi and Adnan Darwiche

In Proceedings of the Twenty-Third Annual Conference on Neural Information Processing Systems (NIPS) 2009

PDF bibtex
```
      @inproceedings{ChoiDarwiche09b,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {Relax then Compensate: On Max-Product Belief Propagation and More},
  booktitle = {Proceedings of the Twenty-Third Annual Conference on Neural Information Processing Systems (NIPS)},
  year = {2009},
  pages = {351--359},
  pdf = {CD09.pdf}
}

      
```

2008

Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis

Knot Pipatsrisawat and Akop Palyan and Mark Chavira and Arthur Choi and Adnan Darwiche

Journal on Satisfiability Boolean Modeling and Computation (JSAT) 2008

PDF bibtex
```
      @article{pipatsrisawat08solving,
  author = {Pipatsrisawat, Knot and Palyan, Akop and Chavira, Mark and Choi, Arthur and Darwiche, Adnan},
  title = {Solving Weighted {Max-SAT} Problems in a Reduced Search Space: A Performance Analysis},
  journal = {Journal on Satisfiability Boolean Modeling and Computation (JSAT)},
  year = {2008},
  volume = {4},
  pages = {191--217},
  pdf = {PPC08.pdf}
}

      
```
Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations

Arthur Choi and Adnan Darwiche

In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI) 2008

PDF bibtex
```
      @inproceedings{ChoiDarwiche08a,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations},
  booktitle = {Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2008},
  pages = {1031--1036},
  pdf = {CD08c.pdf}
}

      
```
Focusing Generalizations of Belief Propagation on Targeted Queries

Arthur Choi and Adnan Darwiche

In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI) 2008

PDF bibtex
```
      @inproceedings{ChoiDarwiche08b,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {Focusing Generalizations of Belief Propagation on Targeted Queries},
  booktitle = {Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2008},
  pages = {1024--1030},
  pdf = {CD08b.pdf}
}

      
```
Approximating the Partition Function by Deleting and then Correcting for Model Edges

Arthur Choi and Adnan Darwiche

In Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI) 2008

PDF bibtex
```
      @inproceedings{ChoiDarwiche08c,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {Approximating the Partition Function by Deleting and then Correcting for Model Edges},
  booktitle = {Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI)},
  year = {2008},
  pages = {79--87},
  pdf = {CD08a.pdf}
}

      
```
Efficient Genome Wide Tagging by Reduction to SAT

Arthur Choi and Noah Zaitlen and Buhm Hahn and Knot Pipatsrisawat and Adnan Darwiche and Eleazar Eskin

In Proceedings of the 8th Workshop on Algorithms in Bioinformatics (WABI) 2008

bibtex
```
      @inproceedings{CZHPDE08,
  author = {Choi, Arthur and Zaitlen, Noah and Hahn, Buhm and Pipatsrisawat, Knot and Darwiche, Adnan and Eskin, Eleazar},
  title = {Efficient Genome Wide Tagging by Reduction to {SAT}},
  booktitle = {Proceedings of the 8th Workshop on Algorithms in Bioinformatics (WABI)},
  year = {2008}
}

      
```
Approximating the Partition Function by Deleting and then Correcting for Model Edges

Arthur Choi and Adnan Darwiche

In Information Theory and Applications Workshop 2008

bibtex
```
      @misc{ChoiD08w,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {Approximating the Partition Function by Deleting and then Correcting for Model Edges},
  howpublished = {Information Theory and Applications Workshop},
  year = {2008}
}

      
```

2007

Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks

Arthur Choi and Mark Chavira and Adnan Darwiche

In Proceedings of the 23rd Conference on Uncertainty in Artificial Intelligence (UAI) 2007

PDF bibtex
```
      @inproceedings{ChoiChaviraDarwiche07,
  author = {Choi, Arthur and Chavira, Mark and Darwiche, Adnan},
  title = {Node Splitting: A Scheme for Generating Upper Bounds in {B}ayesian Networks},
  booktitle = {Proceedings of the 23rd Conference on Uncertainty in Artificial Intelligence (UAI)},
  year = {2007},
  pages = {57--66},
  pdf = {CCD07.pdf}
}

      
```
Approximating the Partition Function by Deleting and then Correcting for Model Edges

Arthur Choi and Adnan Darwiche

In NIPS Workshop on Approximate Bayesian Inference in Continuous/Hybrid Systems 2007

bibtex
```
      @misc{ChoiD07w,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {Approximating the Partition Function by Deleting and then Correcting for Model Edges},
  howpublished = {NIPS Workshop on Approximate Bayesian Inference in Continuous/Hybrid Systems},
  year = {2007}
}

      
```
A New Semantics for Belief Propagation: Theoretical and Practical Implications

Arthur Choi and Adnan Darwiche

In Information Theory and Applications Workshop 2007

bibtex
```
      @misc{ChoiD07w2,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {A New Semantics for Belief Propagation: Theoretical and Practical Implications},
  howpublished = {Information Theory and Applications Workshop},
  year = {2007}
}

      
```

2006

An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality

Arthur Choi and Adnan Darwiche

In Proceedings of the 21st AAAI Conference on Artificial Intelligence (AAAI) 2006

PDF bibtex
```
      @inproceedings{ChoiDarwiche06a,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality},
  booktitle = {Proceedings of the 21st AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2006},
  pages = {1107-1114},
  pdf = {CD06a.pdf}
}

      
```
A Variational Approach for Approximating Bayesian Networks by Edge Deletion

Arthur Choi and Adnan Darwiche

In Proceedings of the 22nd Conference on Uncertainty in Artificial Intelligence (UAI) 2006

PDF bibtex
```
      @inproceedings{ChoiDarwiche06b,
  author = {Choi, Arthur and Darwiche, Adnan},
  title = {A Variational Approach for Approximating {B}ayesian Networks by Edge Deletion},
  booktitle = {Proceedings of the 22nd Conference on Uncertainty in Artificial Intelligence (UAI)},
  year = {2006},
  pages = {80-89},
  pdf = {CD06b.pdf}
}

      
```

2005

On Bayesian Network Approximation by Edge Deletion

Arthur Choi and Hei Chan and Adnan Darwiche

In Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI) 2005

PDF bibtex
```
      @inproceedings{ChoiChanDarwiche05,
  author = {Choi, Arthur and Chan, Hei and Darwiche, Adnan},
  title = {On {B}ayesian Network Approximation by Edge Deletion},
  booktitle = {Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence (UAI)},
  pages = {128--135},
  address = {Arlington, Virginia},
  year = {2005},
  pdf = {CCD05.pdf}
}

      
```