Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdnan Darwiche
Person information
- affiliation: University of California, Los Angeles, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j42]Adnan Darwiche
, Auguste Hirth:
On the (Complete) Reasons Behind Decisions. J. Log. Lang. Inf. 32(1): 63-88 (2023)- [j41]Young Kyu Choi, Carlos Santillana, Yujia Shen, Adnan Darwiche, Jason Cong:
FPGA Acceleration of Probabilistic Sentential Decision Diagrams with High-level Synthesis. ACM Trans. Reconfigurable Technol. Syst. 16(2): 18:1-18:22 (2023) - [c142]Haiying Huang, Adnan Darwiche:
An Algorithm and Complexity Results for Causal Unit Selection. CLeaR 2023: 1-26 - [c141]Yunqiu Han, Yizuo Chen, Adnan Darwiche:
On the Complexity of Counterfactual Reasoning. IJCAI 2023: 5676-5684 - [c140]Chunxi Ji, Adnan Darwiche:
A New Class of Explanations for Classifiers with Non-binary Features. JELIA 2023: 106-122 - [c139]Adnan Darwiche:
Logic for Explainable AI. LICS 2023: 1-11 - [i59]Haiying Huang, Adnan Darwiche:
An Algorithm and Complexity Results for Causal Unit Selection. CoRR abs/2302.14412 (2023) - [i58]Chunxi Ji, Adnan Darwiche:
A New Class of Explanations for Classifiers with Non-Binary Features. CoRR abs/2304.14760 (2023) - [i57]Adnan Darwiche:
Logic for Explainable AI. CoRR abs/2305.05172 (2023) - [i56]David Huber, Yizuo Chen, Alessandro Antonucci, Adnan Darwiche, Marco Zaffalon:
Tractable Bounding of Counterfactual Queries by Knowledge Compilation. CoRR abs/2310.03352 (2023) - 2022
- [c138]Adnan Darwiche, Chunxi Ji:
On the Computation of Necessary and Sufficient Explanations. AAAI 2022: 5582-5591 - [c137]Adnan Darwiche, Pierre Marquis:
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract). IJCAI 2022: 5718-5721 - [c136]Yizuo Chen, Adnan Darwiche:
On the definition and computation of causal treewidth. UAI 2022: 368-377 - [i55]Adnan Darwiche:
Causal Inference Using Tractable Circuits. CoRR abs/2202.02891 (2022) - [i54]Adnan Darwiche:
Tractable Boolean and Arithmetic Circuits. CoRR abs/2202.02942 (2022) - [i53]Adnan Darwiche, Chunxi Ji:
On the Computation of Necessary and Sufficient Explanations. CoRR abs/2203.10451 (2022) - [i52]Yunqiu Han, Yizuo Chen, Adnan Darwiche:
On the Complexity of Counterfactual Reasoning. CoRR abs/2211.13447 (2022) - 2021
- [j40]Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck:
Open-world probabilistic databases: Semantics, algorithms, complexity. Artif. Intell. 295: 103474 (2021) - [j39]Adnan Darwiche, Pierre Marquis:
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI. J. Artif. Intell. Res. 72: 285-328 (2021) - [c135]Haiying Huang, Adnan Darwiche:
On Recovering from Modeling Errors Using Testing Bayesian Networks. ICML 2021: 4402-4411 - [p4]Adnan Darwiche, Knot Pipatsrisawat:
Complete Algorithms. Handbook of Satisfiability 2021: 101-132 - [p3]Adnan Darwiche:
Tractable Boolean and Arithmetic Circuits. Neuro-Symbolic Artificial Intelligence 2021: 146-172 - [i51]Adnan Darwiche, Pierre Marquis:
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI. CoRR abs/2108.09876 (2021) - 2020
- [c134]Adnan Darwiche, Auguste Hirth:
On the Reasons Behind Decisions. ECAI 2020: 712-720 - [c133]Adnan Darwiche:
An Advance on Variable Elimination with Applications to Tensor-Based Computation. ECAI 2020: 2559-2568 - [c132]Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi:
On Tractable Representations of Binary Neural Networks. KR 2020: 882-892 - [c131]Yizuo Chen, Arthur Choi, Adnan Darwiche:
Supervised Learning with Background Knowledge. PGM 2020: 89-100 - [c130]Yujia Shen, Arthur Choi, Adnan Darwiche:
A New Perspective on Learning Context-Specific Independence. PGM 2020: 425-436 - [c129]Adnan Darwiche:
Three Modern Roles for Logic in AI. PODS 2020: 229-243 - [i50]Adnan Darwiche, Auguste Hirth:
On The Reasons Behind Decisions. CoRR abs/2002.09284 (2020) - [i49]Adnan Darwiche:
An Advance on Variable Elimination with Applications to Tensor-Based Computation. CoRR abs/2002.09320 (2020) - [i48]Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi:
On Tractable Representations of Binary Neural Networks. CoRR abs/2004.02082 (2020) - [i47]Adnan Darwiche:
Three Modern Roles for Logic in AI. CoRR abs/2004.08599 (2020) - [i46]Yujia Shen, Arthur Choi, Adnan Darwiche:
A New Perspective on Learning Context-Specific Independence. CoRR abs/2006.06896 (2020) - [i45]Arthur Choi, Andy Shih, Anchal Goyanka, Adnan Darwiche:
On Symbolically Encoding the Behavior of Random Forests. CoRR abs/2007.01493 (2020)
2010 – 2019
- 2019
- [j38]Arthur Choi, Ruocheng Wang, Adnan Darwiche:
On the relative expressiveness of Bayesian and neural networks. Int. J. Approx. Reason. 113: 303-323 (2019) - [c128]Yujia Shen, Anchal Goyanka, Adnan Darwiche, Arthur Choi:
Structured Bayesian Networks: From Inference to Learning with Routes. AAAI 2019: 7957-7965 - [c127]Andy Shih, Arthur Choi, Adnan Darwiche:
Compiling Bayesian Network Classifiers into Decision Graphs. AAAI 2019: 7966-7974 - [c126]Yujia Shen, Haiying Huang, Arthur Choi, Adnan Darwiche:
Conditional Independence in Testing Bayesian Networks. ICML 2019: 5701-5709 - [c125]Andy Shih, Adnan Darwiche, Arthur Choi:
Verifying Binarized Neural Networks by Angluin-Style Learning. SAT 2019: 354-370 - 2018
- [j37]Adnan Darwiche:
Human-level intelligence or animal-like abilities? Commun. ACM 61(10): 56-67 (2018) - [j36]Eunice Yuh-Jie Chen, Adnan Darwiche, Arthur Choi:
On pruning with the MDL Score. Int. J. Approx. Reason. 92: 363-375 (2018) - [j35]Umut Oztok, Adnan Darwiche:
An Exhaustive DPLL Algorithm for Model Counting. J. Artif. Intell. Res. 62: 1-32 (2018) - [c124]Yujia Shen, Arthur Choi, Adnan Darwiche:
Conditional PSDDs: Modeling and Learning With Modular Knowledge. AAAI 2018: 6433-6442 - [c123]Andy Shih, Arthur Choi, Adnan Darwiche:
A Symbolic Approach to Explaining Bayesian Network Classifiers. IJCAI 2018: 5103-5111 - [c122]Arthur Choi, Adnan Darwiche:
On the Relative Expressiveness of Bayesian and Neural Networks. PGM 2018: 157-168 - [c121]Andy Shih, Arthur Choi, Adnan Darwiche:
Formal Verification of Bayesian Network Classifiers. PGM 2018: 427-438 - [i44]Andy Shih, Arthur Choi, Adnan Darwiche:
A Symbolic Approach to Explaining Bayesian Network Classifiers. CoRR abs/1805.03364 (2018) - [i43]Arthur Choi, Ruocheng Wang, Adnan Darwiche:
On the Relative Expressiveness of Bayesian and Neural Networks. CoRR abs/1812.08957 (2018) - 2017
- [j34]Tiansheng Yao, Arthur Choi, Adnan Darwiche:
Learning Bayesian network parameters under equivalence constraints. Artif. Intell. 244: 239-257 (2017) - [c120]Arthur Choi, Adnan Darwiche:
On Relaxing Determinism in Arithmetic Circuits. ICML 2017: 825-833 - [c119]YooJung Choi, Adnan Darwiche, Guy Van den Broeck:
Optimal Feature Selection for Decision Robustness in Bayesian Networks. IJCAI 2017: 1554-1560 - [c118]Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck:
Open-World Probabilistic Databases: An Abridged Report. IJCAI 2017: 4796-4800 - [c117]Arthur Choi, Yujia Shen, Adnan Darwiche:
Tractability in Structured Probability Spaces. NIPS 2017: 3477-3485 - [c116]Yujia Shen, Arthur Choi, Adnan Darwiche:
A Tractable Probabilistic Model for Subset Selection. UAI 2017 - [i42]Adnan Darwiche:
Human-Level Intelligence or Animal-Like Abilities? CoRR abs/1707.04327 (2017) - [i41]Arthur Choi, Adnan Darwiche:
On Relaxing Determinism in Arithmetic Circuits. CoRR abs/1708.06846 (2017) - [i40]Umut Oztok, Adnan Darwiche:
On Compiling DNNFs without Determinism. CoRR abs/1709.07092 (2017) - [i39]Adnan Darwiche, Pierre Marquis, Dan Suciu, Stefan Szeider:
Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381). Dagstuhl Reports 7(9): 62-85 (2017) - 2016
- [j33]Stefano V. Albrecht, Bruno Bouchard, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka Jr., Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael Witbrock, Jie Zhang:
Reports of the 2016 AAAI Workshop Program. AI Mag. 37(3): 99-108 (2016) - [c115]Arthur Choi, Nazgol Tavabi, Adnan Darwiche:
Structured Features in Naive Bayes Classification. AAAI 2016: 3233-3240 - [c114]Adnan Darwiche, João Marques-Silva, Pierre Marquis:
Preface: The Beyond NP Workshop. AAAI Workshop: Beyond NP 2016 - [c113]Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche:
Enumerating Equivalence Classes of Bayesian Networks using EC Graphs. AISTATS 2016: 591-599 - [c112]Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck:
Open World Probabilistic Databases (Extended Abstract). Description Logics 2016 - [c111]Umut Oztok, Arthur Choi, Adnan Darwiche:
Solving PPPP-Complete Problems Using Knowledge Compilation. KR 2016: 94-103 - [c110]Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck:
Open-World Probabilistic Databases. KR 2016: 339-348 - [c109]Eunice Yuh-Jie Chen, Yujia Shen, Arthur Choi, Adnan Darwiche:
Learning Bayesian networks with ancestral constraints. NIPS 2016: 2325-2333 - [c108]Yujia Shen, Arthur Choi, Adnan Darwiche:
Tractable Operations for Arithmetic Circuits of Probabilistic Models. NIPS 2016: 3936-3944 - [c107]Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche:
On Pruning with the MDL Score. Probabilistic Graphical Models 2016: 98-109 - [e2]Adnan Darwiche:
Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. AAAI Technical Report WS-16-05, AAAI Press 2016 [contents] - 2015
- [c106]Guy Van den Broeck, Adnan Darwiche:
On the Role of Canonicity in Knowledge Compilation. AAAI 2015: 1641-1648 - [c105]Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche:
Value of Information Based on Decision Robustness. AAAI 2015: 3503-3510 - [c104]Arthur Choi, Guy Van den Broeck, Adnan Darwiche:
Probability Distributions over Structured Spaces. AAAI Spring Symposia 2015 - [c103]Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche:
Learning Bayesian Networks with Non-Decomposable Scores. GKR 2015: 50-71 - [c102]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 - [c101]Umut Oztok, Adnan Darwiche:
A Top-Down Compiler for Sentential Decision Diagrams. IJCAI 2015: 3141-3148 - [c100]Khaled S. Refaat, Adnan Darwiche:
Data Compression for Learning MRF Parameters. IJCAI 2015: 3784-3790 - [c99]Jessa Bekker, Jesse Davis, Arthur Choi, Adnan Darwiche, Guy Van den Broeck:
Tractable Learning for Complex Probability Queries. NIPS 2015: 2242-2250 - [c98]Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche:
Computer Adaptive Testing Using the Same-Decision Probability. BMA@UAI 2015: 34-43 - [c97]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 - [c96]Khaled S. Refaat, Adnan Darwiche:
An Upper Bound on the Global Optimum in Parameter Estimation. UAI 2015: 772-781 - [i38]Arthur Choi, Adnan Darwiche:
Dual Decomposition from the Perspective of Relax, Compensate and then Recover. CoRR abs/1504.01173 (2015) - 2014
- [j32]Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche:
Algorithms and Applications for the Same-Decision Probability. J. Artif. Intell. Res. 49: 601-633 (2014) - [c95]Umut Oztok, Adnan Darwiche:
On Compiling CNF into Decision-DNNF. CP 2014: 42-57 - [c94]Umut Oztok, Adnan Darwiche:
CV-width: A New Complexity Parameter for CNFs. ECAI 2014: 675-680 - [c93]Guy Van den Broeck, Wannes Meert, Adnan Darwiche:
Skolemization for Weighted First-Order Model Counting. KR 2014 - [c92]Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche:
Probabilistic Sentential Decision Diagrams. KR 2014 - [c91]Khaled S. Refaat, Arthur Choi, Adnan Darwiche:
Decomposing Parameter Estimation Problems. NIPS 2014: 1565-1573 - [p2]Adnan Darwiche:
Tractable Knowledge Representation Formalisms. Tractability 2014: 141-172 - [i37]Guy Van den Broeck, Adnan Darwiche:
On the Role of Canonicity in Bottom-up Knowledge Compilation. CoRR abs/1404.4089 (2014) - [i36]Adnan Darwiche, Gregory M. Provan:
Query DAGs: A Practical Paradigm for Implementing Belief Network Inference. CoRR abs/1408.1480 (2014) - [i35]Hei Chan, Adnan Darwiche:
When do Numbers Really Matter? CoRR abs/1408.1692 (2014) - 2013
- [j31]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) - [c90]Arthur Choi, Adnan Darwiche:
Dynamic Minimization of Sentential Decision Diagrams. AAAI 2013: 187-194 - [c89]Arthur Choi, Doga Kisa, Adnan Darwiche:
Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams. ECSQARU 2013: 121-132 - [c88]Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche:
An Exact Algorithm for Computing the Same-Decision Probability. IJCAI 2013: 2525-2531 - [c87]Khaled S. Refaat, Arthur Choi, Adnan Darwiche:
EDML for Learning Parameters in Directed and Undirected Graphical Models. NIPS 2013: 1502-1510 - [c86]Guy Van den Broeck, Adnan Darwiche:
On the Complexity and Approximation of Binary Evidence in Lifted Inference. NIPS 2013: 2868-2876 - [i34]James D. Park, Adnan Darwiche:
Approximating MAP using Local Search. CoRR abs/1301.2299 (2013) - [i33]Adnan Darwiche:
A Differential Approach to Inference in Bayesian Networks. CoRR abs/1301.3847 (2013) - [i32]Adnan Darwiche:
Any-Space Probabilistic Inference. CoRR abs/1301.3848 (2013) - [i31]Adnan Darwiche, Nir Friedman:
Proceedings of the Eighteenth Conference on Uncertainty in Artificial Intelligence (2002). CoRR abs/1301.4608 (2013) - [i30]Adnan Darwiche:
Dynamic Jointrees. CoRR abs/1301.7369 (2013) - [i29]Adnan Darwiche, Gregory M. Provan:
A Standard Approach for Optimizing Belief Network Inference using Query DAGs. CoRR abs/1302.1532 (2013) - [i28]Adnan Darwiche:
Conditioning Methods for Exact and Approximate Inference in Causal Networks. CoRR abs/1302.4939 (2013) - [i27]Adnan Darwiche, Moisés Goldszmidt:
Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty. CoRR abs/1302.6796 (2013) - [i26]Adnan Darwiche, Moisés Goldszmidt:
On the Relation between Kappa Calculus and Probabilistic Reasoning. CoRR abs/1302.6797 (2013) - [i25]Adnan Darwiche:
Argument Calculus and Networks. CoRR abs/1303.1504 (2013) - [i24]Adnan Darwiche:
Objection-Based Causal Networks. CoRR abs/1303.5400 (2013) - [i23]Guy Van den Broeck, Adnan Darwiche:
On the Complexity and Approximation of Binary Evidence in Lifted Inference. CoRR abs/1311.6591 (2013) - [i22]Guy Van den Broeck, Wannes Meert, Adnan Darwiche:
Skolemization for Weighted First-Order Model Counting. CoRR abs/1312.5378 (2013) - 2012
- [j30]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) - [c85]Yexiang Xue, Arthur Choi, Adnan Darwiche:
Basing Decisions on Sentences in Decision Diagrams. AAAI 2012: 842-849 - [c84]Adnan Darwiche:
Generalized Decision Diagrams: The game is not over yet! ECAI 2012: 4 - [c83]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 - [c82]Khaled S. Refaat, Arthur Choi, Adnan Darwiche:
New Advances and Theoretical Insights into EDML. UAI 2012: 705-714 - [i21]Arthur Choi, Khaled S. Refaat, Adnan Darwiche:
EDML: A Method for Learning Parameters in Bayesian Networks. CoRR abs/1202.3709 (2012) - [i20]Arthur Choi, Adnan Darwiche:
Approximating the Partition Function by Deleting and then Correcting for Model Edges. CoRR abs/1206.3241 (2012) - [i19]Arthur Choi, Mark Chavira, Adnan Darwiche:
Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. CoRR abs/1206.5251 (2012) - [i18]Arthur Choi, Adnan Darwiche:
A Variational Approach for Approximating Bayesian Networks by Edge Deletion. CoRR abs/1206.6817 (2012) - [i17]Hei Chan, Adnan Darwiche:
On the Robustness of Most Probable Explanations. CoRR abs/1206.6819 (2012) - [i16]Arthur Choi, Hei Chan, Adnan Darwiche:
On Bayesian Network Approximation by Edge Deletion. CoRR abs/1207.1370 (2012) - [i15]Mark Chavira, David Allen, Adnan Darwiche:
Exploiting Evidence in Probabilistic Inference. CoRR abs/1207.1372 (2012) - [i14]Hei Chan, Adnan Darwiche:
Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters. CoRR abs/1207.4124 (2012) - [i13]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) - [i12]Khaled S. Refaat, Arthur Choi, Adnan Darwiche:
New Advances and Theoretical Insights into EDML. CoRR abs/1210.4910 (2012) - [i11]