Arthur Y. Choi, Ph.D.
Affiliations: | 2010 | University of California, Los Angeles, Los Angeles, CA |
Area:
probabilistic and logical reasoning and its applications, including diagnosis, planning, and system design and analysisGoogle:
"Arthur Choi"Parents
Sign in to add mentorAdnan Darwiche | grad student | 2010 | UCLA | |
(Belief propagation and approximate inference: Compensating for relaxations.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Fernandes GJ, Choi A, Schauer JM, et al. (2023) An Explainable Artificial Intelligence Software Tool for Weight Management Experts (PRIMO): Mixed Methods Study. Journal of Medical Internet Research. 25: e42047 |
Choi A, Wang R, Darwiche A. (2019) On the relative expressiveness of Bayesian and neural networks International Journal of Approximate Reasoning. 113: 303-323 |
Chen EY, Darwiche A, Choi A. (2018) On pruning with the MDL Score International Journal of Approximate Reasoning. 92: 363-375 |
Yao T, Choi A, Darwiche A. (2015) Learning Bayesian network parameters under equivalence constraints Artificial Intelligence |
Chen S, Choi A, Darwiche A. (2014) Algorithms and applications for the same-decision probability Journal of Artificial Intelligence Research. 49: 601-633 |
Schumann J, Mbaya T, Mengshoel O, et al. (2013) Software health management with Bayesian networks Innovations in Systems and Software Engineering. 9: 271-292 |
Choi A, Xue Y, Darwiche A. (2012) Same-decision probability: A confidence measure for threshold-based decisions International Journal of Approximate Reasoning. 53: 1415-1428 |
He D, Choi A, Pipatsrisawat K, et al. (2010) Optimal algorithms for haplotype assembly from whole-genome sequence data. Bioinformatics (Oxford, England). 26: i183-90 |
Pipatsrisawat K, Palyan A, Chavira M, et al. (2008) Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis1 Journal On Satisfiability, Boolean Modeling and Computation. 4: 191-217 |