default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArthur Choi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j9]Richard Borowski, Arthur Choi:
On Bounding the Behavior of Neurons. Int. J. Artif. Intell. Tools 33(3): 2460002:1-2460002:29 (2024)- [c51]Misha Sharma
, Arthur Choi:
On Provenance in Topic Models. ACM Southeast Regional Conference 2024: 302-307 - 2023
- [c50]Richard Borowski, Arthur Choi:
On Bounding the Behavior of a Neuron. FLAIRS 2023 - [c49]Lance Kennedy, Issouf Kindo, Arthur Choi:
On Training Neurons with Bounded Compilations. KR 2023: 395-405 - 2020
- [c48]Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi:
On Tractable Representations of Binary Neural Networks. KR 2020: 882-892 - [c47]Yizuo Chen, Arthur Choi, Adnan Darwiche:
Supervised Learning with Background Knowledge. PGM 2020: 89-100 - [c46]Yujia Shen, Arthur Choi, Adnan Darwiche:
A New Perspective on Learning Context-Specific Independence. PGM 2020: 425-436 - [i15]Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi:
On Tractable Representations of Binary Neural Networks. CoRR abs/2004.02082 (2020) - [i14]Yujia Shen, Arthur Choi, Adnan Darwiche:
A New Perspective on Learning Context-Specific Independence. CoRR abs/2006.06896 (2020) - [i13]Arthur Choi, Andy Shih, Anchal Goyanka, Adnan Darwiche:
On Symbolically Encoding the Behavior of Random Forests. CoRR abs/2007.01493 (2020)
2010 – 2019
- 2019
- [j8]Arthur Choi, Ruocheng Wang, Adnan Darwiche:
On the relative expressiveness of Bayesian and neural networks. Int. J. Approx. Reason. 113: 303-323 (2019) - [c45]Yujia Shen, Anchal Goyanka, Adnan Darwiche, Arthur Choi:
Structured Bayesian Networks: From Inference to Learning with Routes. AAAI 2019: 7957-7965 - [c44]Andy Shih, Arthur Choi, Adnan Darwiche:
Compiling Bayesian Network Classifiers into Decision Graphs. AAAI 2019: 7966-7974 - [c43]Yujia Shen, Haiying Huang, Arthur Choi, Adnan Darwiche:
Conditional Independence in Testing Bayesian Networks. ICML 2019: 5701-5709 - [c42]Andy Shih, Adnan Darwiche, Arthur Choi:
Verifying Binarized Neural Networks by Angluin-Style Learning. SAT 2019: 354-370 - 2018
- [j7]Eunice Yuh-Jie Chen, Adnan Darwiche, Arthur Choi:
On pruning with the MDL Score. Int. J. Approx. Reason. 92: 363-375 (2018) - [c41]Yujia Shen, Arthur Choi, Adnan Darwiche:
Conditional PSDDs: Modeling and Learning With Modular Knowledge. AAAI 2018: 6433-6442 - [c40]Andy Shih, Arthur Choi, Adnan Darwiche:
A Symbolic Approach to Explaining Bayesian Network Classifiers. IJCAI 2018: 5103-5111 - [c39]Arthur Choi, Adnan Darwiche:
On the Relative Expressiveness of Bayesian and Neural Networks. PGM 2018: 157-168 - [c38]Andy Shih, Arthur Choi, Adnan Darwiche:
Formal Verification of Bayesian Network Classifiers. PGM 2018: 427-438 - [i12]Andy Shih, Arthur Choi, Adnan Darwiche:
A Symbolic Approach to Explaining Bayesian Network Classifiers. CoRR abs/1805.03364 (2018) - [i11]Arthur Choi, Ruocheng Wang, Adnan Darwiche:
On the Relative Expressiveness of Bayesian and Neural Networks. CoRR abs/1812.08957 (2018) - 2017
- [j6]Tiansheng Yao, Arthur Choi, Adnan Darwiche:
Learning Bayesian network parameters under equivalence constraints. Artif. Intell. 244: 239-257 (2017) - [c37]Arthur Choi, Adnan Darwiche:
On Relaxing Determinism in Arithmetic Circuits. ICML 2017: 825-833 - [c36]Arthur Choi, Yujia Shen, Adnan Darwiche:
Tractability in Structured Probability Spaces. NIPS 2017: 3477-3485 - [c35]Yujia Shen, Arthur Choi, Adnan Darwiche:
A Tractable Probabilistic Model for Subset Selection. UAI 2017 - [i10]Arthur Choi, Adnan Darwiche:
On Relaxing Determinism in Arithmetic Circuits. CoRR abs/1708.06846 (2017) - 2016
- [c34]Arthur Choi, Nazgol Tavabi, Adnan Darwiche:
Structured Features in Naive Bayes Classification. AAAI 2016: 3233-3240 - [c33]Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche:
Enumerating Equivalence Classes of Bayesian Networks using EC Graphs. AISTATS 2016: 591-599 - [c32]Umut Oztok, Arthur Choi, Adnan Darwiche:
Solving PPPP-Complete Problems Using Knowledge Compilation. KR 2016: 94-103 - [c31]Eunice Yuh-Jie Chen, Yujia Shen, Arthur Choi, Adnan Darwiche:
Learning Bayesian networks with ancestral constraints. NIPS 2016: 2325-2333 - [c30]Yujia Shen, Arthur Choi, Adnan Darwiche:
Tractable Operations for Arithmetic Circuits of Probabilistic Models. NIPS 2016: 3936-3944 - [c29]Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche:
On Pruning with the MDL Score. Probabilistic Graphical Models 2016: 98-109 - 2015
- [c28]Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche:
Value of Information Based on Decision Robustness. AAAI 2015: 3503-3510 - [c27]Arthur Choi, Guy Van den Broeck, Adnan Darwiche:
Probability Distributions over Structured Spaces. AAAI Spring Symposia 2015 - [c26]Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche:
Learning Bayesian Networks with Non-Decomposable Scores. GKR 2015: 50-71 - [c25]Arthur Choi, Guy Van den Broeck, Adnan Darwiche:
Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions. IJCAI 2015: 2861-2868 - [c24]Jessa Bekker, Jesse Davis, Arthur Choi, Adnan Darwiche, Guy Van den Broeck:
Tractable Learning for Complex Probability Queries. NIPS 2015: 2242-2250 - [c23]Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche:
Computer Adaptive Testing Using the Same-Decision Probability. BMA@UAI 2015: 34-43 - [c22]Guy Van den Broeck, Karthika Mohan, Arthur Choi, Adnan Darwiche, Judea Pearl:
Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data. UAI 2015: 161-170 - [i9]Arthur Choi, Adnan Darwiche:
Dual Decomposition from the Perspective of Relax, Compensate and then Recover. CoRR abs/1504.01173 (2015) - 2014
- [j5]Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche:
Algorithms and Applications for the Same-Decision Probability. J. Artif. Intell. Res. 49: 601-633 (2014) - [c21]Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche:
Probabilistic Sentential Decision Diagrams. KR 2014 - [c20]Khaled S. Refaat, Arthur Choi, Adnan Darwiche:
Decomposing Parameter Estimation Problems. NIPS 2014: 1565-1573 - [i8]Guy Van den Broeck, Karthika Mohan, Arthur Choi, Judea Pearl:
Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data. CoRR abs/1411.7014 (2014) - 2013
- [j4]Johann Schumann, Timmy Mbaya, Ole J. Mengshoel, Knot Pipatsrisawat, Ashok N. Srivastava, Arthur Choi, Adnan Darwiche:
Software health management with Bayesian networks. Innov. Syst. Softw. Eng. 9(4): 271-292 (2013) - [c19]Arthur Choi, Adnan Darwiche:
Dynamic Minimization of Sentential Decision Diagrams. AAAI 2013: 187-194 - [c18]Arthur Choi, Doga Kisa, Adnan Darwiche:
Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams. ECSQARU 2013: 121-132 - [c17]Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche:
An Exact Algorithm for Computing the Same-Decision Probability. IJCAI 2013: 2525-2531 - [c16]Khaled S. Refaat, Arthur Choi, Adnan Darwiche:
EDML for Learning Parameters in Directed and Undirected Graphical Models. NIPS 2013: 1502-1510 - 2012
- [j3]Arthur Choi, Yexiang Xue, Adnan Darwiche:
Same-decision probability: A confidence measure for threshold-based decisions. Int. J. Approx. Reason. 53(9): 1415-1428 (2012) - [c15]Yexiang Xue, Arthur Choi, Adnan Darwiche:
Basing Decisions on Sentences in Decision Diagrams. AAAI 2012: 842-849 - [c14]Guy Van den Broeck, Arthur Choi, Adnan Darwiche:
Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference. UAI 2012: 131-141 - [c13]Khaled S. Refaat, Arthur Choi, Adnan Darwiche:
New Advances and Theoretical Insights into EDML. UAI 2012: 705-714 - [i7]Arthur Choi, Khaled S. Refaat, Adnan Darwiche:
EDML: A Method for Learning Parameters in Bayesian Networks. CoRR abs/1202.3709 (2012) - [i6]Arthur Choi, Adnan Darwiche:
Approximating the Partition Function by Deleting and then Correcting for Model Edges. CoRR abs/1206.3241 (2012) - [i5]Arthur Choi, Mark Chavira, Adnan Darwiche:
Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. CoRR abs/1206.5251 (2012) - [i4]Arthur Choi, Adnan Darwiche:
A Variational Approach for Approximating Bayesian Networks by Edge Deletion. CoRR abs/1206.6817 (2012) - [i3]Arthur Choi, Hei Chan, Adnan Darwiche:
On Bayesian Network Approximation by Edge Deletion. CoRR abs/1207.1370 (2012) - [i2]Guy Van den Broeck, Arthur Choi, Adnan Darwiche:
Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference. CoRR abs/1210.4840 (2012) - [i1]Khaled S. Refaat, Arthur Choi, Adnan Darwiche:
New Advances and Theoretical Insights into EDML. CoRR abs/1210.4910 (2012) - 2011
- [c12]Arthur Choi, Khaled S. Refaat, Adnan Darwiche:
EDML: A Method for Learning Parameters in Bayesian Networks. UAI 2011: 115-124 - 2010
- [j2]Dan He, Arthur Choi, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin:
Optimal algorithms for haplotype assembly from whole-genome sequence data. Bioinform. 26(12): 183-190 (2010) - [c11]Arthur Choi, Adnan Darwiche:
Relax, Compensate and Then Recover. JSAI-isAI Workshops 2010: 167-180
2000 – 2009
- 2009
- [c10]Arthur Choi, Trevor Standley, Adnan Darwiche:
Approximating Weighted Max-SAT Problems by Compensating for Relaxations. CP 2009: 211-225 - [c9]Arthur Choi, Adnan Darwiche:
Approximating MAP by Compensating for Structural Relaxations. NIPS 2009: 351-359 - 2008
- [j1]Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche:
Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis. J. Satisf. Boolean Model. Comput. 4(2-4): 191-217 (2008) - [c8]Arthur Choi, Adnan Darwiche:
Focusing Generalizations of Belief Propagation on Targeted Queries. AAAI 2008: 1024-1030 - [c7]Arthur Choi, Adnan Darwiche:
Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations. AAAI 2008: 1031-1036 - [c6]Arthur Choi, Adnan Darwiche:
Approximating the Partition Function by Deleting and then Correcting for Model Edges. UAI 2008: 79-87 - [c5]Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin:
Efficient Genome Wide Tagging by Reduction to SAT. WABI 2008: 135-147 - 2007
- [c4]Arthur Choi, Mark Chavira, Adnan Darwiche:
Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. UAI 2007: 57-66 - 2006
- [c3]Arthur Choi, Adnan Darwiche:
An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality. AAAI 2006: 1107-1114 - [c2]Arthur Choi, Adnan Darwiche:
A Variational Approach for Approximating Bayesian Networks by Edge Deletion. UAI 2006 - 2005
- [c1]Adnan Darwiche, Hei Chan, Arthur Choi:
On Bayesian Network Approximation by Edge Deletion. UAI 2005: 128-135
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-13 00:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
