


default search action
Adnan 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
2020 – today
- 2024
- [j44]Adnan Darwiche, Pierre Marquis:
Knowledge compilation. Ann. Math. Artif. Intell. 92(5): 1007-1011 (2024) - [j43]Yizuo Chen, Haiying Huang, Adnan Darwiche:
Towards an effective practice of learning from data and knowledge. Int. J. Approx. Reason. 171: 109188 (2024) - [c145]Haiying Huang, Adnan Darwiche:
Causal Unit Selection using Tractable Arithmetic Circuits. FLAIRS 2024 - [c144]Yaofang Zhang, Adnan Darwiche:
Which Actions Are Always Necessary in Fully-Observable Non-Deterministic Planning? FLAIRS 2024 - [c143]Yizuo Chen, Adnan Darwiche:
Identifying Causal Effects Under Functional Dependencies. NeurIPS 2024 - [i62]Yizuo Chen, Adnan Darwiche:
Identifying Causal Effects Under Functional Dependencies. CoRR abs/2403.04919 (2024) - [i61]Haiying Huang, Adnan Darwiche:
Causal Unit Selection using Tractable Arithmetic Circuits. CoRR abs/2404.06681 (2024) - [i60]Yizuo Chen, Adnan Darwiche:
Constrained Identifiability of Causal Effects. CoRR abs/2412.02869 (2024) - 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]David Allen, Adnan Darwiche:
New Advances in Inference by Recursive Conditioning. CoRR abs/1212.2455 (2012) - [i10]Hei Chan, Adnan Darwiche:
Reasoning about Bayesian Network Classifiers. CoRR abs/1212.2470 (2012) - [i9]James D. Park, Adnan Darwiche:
Solving MAP Exactly using Systematic Search. CoRR abs/1212.2497 (2012) - 2011
- [j29]Knot Pipatsrisawat, Adnan Darwiche:
On the power of clause-learning SAT solvers as resolution engines. Artif. Intell. 175(2): 512-525 (2011) - [c81]Adnan Darwiche:
SDD: A New Canonical Representation of Propositional Knowledge Bases. IJCAI 2011: 819-826 - [c80]Arthur Choi, Khaled S. Refaat, Adnan Darwiche:
EDML: A Method for Learning Parameters in Bayesian Networks. UAI 2011: 115-124 - [i8]Hei Chan, Adnan Darwiche:
When do Numbers Really Matter? CoRR abs/1106.1814 (2011) - [i7]Adnan Darwiche, Pierre Marquis:
A Knowledge Compilation Map. CoRR abs/1106.1819 (2011) - [i6]Adnan Darwiche, James D. Park:
Complexity Results and Approximation Strategies for MAP Explanations. CoRR abs/1107.0024 (2011) - [i5]Adnan Darwiche, Jinbo Huang:
The Language of Search. CoRR abs/1110.2734 (2011) - 2010
- [j28]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) - [j27]Adnan Darwiche:
Bayesian networks. Commun. ACM 53(12): 80-90 (2010) - [j26]Knot Pipatsrisawat, Adnan Darwiche:
On Modern Clause-Learning Satisfiability Solvers. J. Autom. Reason. 44(3): 277-301 (2010) - [j25]Ole J. Mengshoel, Mark Chavira, Keith Cascio, Scott Poll, Adnan Darwiche, N. Serdar Uckun:
Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study. IEEE Trans. Syst. Man Cybern. Part A 40(5): 874-885 (2010) - [c79]Thammanit Pipatsrisawat, Adnan Darwiche:
A Lower Bound on the Size of Decomposable Negation Normal Form. AAAI 2010: 345-350 - [c78]Knot Pipatsrisawat, Adnan Darwiche:
Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications. ECAI 2010: 3-8 - [c77]Knot Pipatsrisawat, Adnan Darwiche:
On Decomposability and Interaction Functions. ECAI 2010: 9-14 - [c76]Adnan Darwiche:
Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference. JELIA 2010: 7-9 - [c75]Arthur Choi, Adnan Darwiche:
Relax, Compensate and Then Recover. JSAI-isAI Workshops 2010: 167-180 - [c74]Johann Schumann, Ole J. Mengshoel, Ashok N. Srivastava, Adnan Darwiche:
Towards software health management with bayesian networks. FoSER 2010: 331-336
2000 – 2009
- 2009
- [b1]Adnan Darwiche:
Modeling and Reasoning with Bayesian Networks. Cambridge University Press 2009, ISBN 978-0-521-88438-9, pp. I-XII, 1-548 - [c73]Arthur Choi, Trevor Standley, Adnan Darwiche:
Approximating Weighted Max-SAT Problems by Compensating for Relaxations. CP 2009: 211-225 - [c72]Knot Pipatsrisawat, Adnan Darwiche:
On the Power of Clause-Learning SAT Solvers with Restarts. CP 2009: 654-668 - [c71]Knot Pipatsrisawat, Adnan Darwiche:
A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT. IJCAI 2009: 590-595 - [c70]Arthur Choi, Adnan Darwiche:
Approximating MAP by Compensating for Structural Relaxations. NIPS 2009: 351-359 - [c69]Knot Pipatsrisawat, Adnan Darwiche:
Width-Based Restart Policies for Clause-Learning Satisfiability Solvers. SAT 2009: 341-355 - [p1]Adnan Darwiche, Knot Pipatsrisawat:
Complete Algorithms. Handbook of Satisfiability 2009: 99-130 - 2008
- [j24]Mark Chavira, Adnan Darwiche:
On probabilistic inference by weighted model counting. Artif. Intell. 172(6-7): 772-799 (2008) - [j23]David Allen, Adnan Darwiche:
RC_Link: Genetic linkage analysis using Bayesian networks. Int. J. Approx. Reason. 48(2): 499-525 (2008) - [j22]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) - [c68]Knot Pipatsrisawat, Adnan Darwiche:
New Compilation Languages Based on Structured Decomposability. AAAI 2008: 517-522 - [c67]Arthur Choi, Adnan Darwiche:
Focusing Generalizations of Belief Propagation on Targeted Queries. AAAI 2008: 1024-1030 - [c66]Arthur Choi, Adnan Darwiche:
Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations. AAAI 2008: 1031-1036 - [c65]Knot Pipatsrisawat, Adnan Darwiche:
A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. AAAI 2008: 1481-1484 - [c64]Ole J. Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Scott Poll, N. Serdar Uckun:
Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft. AAAI 2008: 1699-1705 - [c63]Arthur Choi, Adnan Darwiche:
Approximating the Partition Function by Deleting and then Correcting for Model Edges. UAI 2008: 79-87 - [c62]Adnan Darwiche, Rina Dechter:
Evaluating probabilistic reasoning systems. BMA 2008 - [c61]Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin:
Efficient Genome Wide Tagging by Reduction to SAT. WABI 2008: 135-147 - [r1]Adnan Darwiche:
Bayesian Networks. Handbook of Knowledge Representation 2008: 467-509 - 2007
- [j21]Jinbo Huang, Adnan Darwiche:
The Language of Search. J. Artif. Intell. Res. 29: 191-219 (2007) - [c60]Knot Pipatsrisawat, Adnan Darwiche:
Clone: Solving Weighted Max-SAT in a Reduced Search Space. Australian Conference on Artificial Intelligence 2007: 223-233 - [c59]Mark Chavira, Adnan Darwiche:
Compiling Bayesian Networks Using Variable Elimination. IJCAI 2007: 2443-2449 - [c58]Knot Pipatsrisawat, Adnan Darwiche:
A Lightweight Component Caching Scheme for Satisfiability Solvers. SAT 2007: 294-299 - [c57]Arthur Choi, Mark Chavira, Adnan Darwiche:
Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. UAI 2007: 57-66 - 2006
- [j20]Mark Chavira, Adnan Darwiche, Manfred Jaeger:
Compiling relational Bayesian networks for exact inference. Int. J. Approx. Reason. 42(1-2): 4-20 (2006) - [c56]Arthur Choi, Adnan Darwiche:
An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality. AAAI 2006: 1107-1114 - [c55]Jinbo Huang, Mark Chavira, Adnan Darwiche:
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. AAAI 2006: 1143-1148 - [c54]Adnan Darwiche:
Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation. IJCAR 2006: 3 - [c53]Mark Chavira, Adnan Darwiche:
Encoding CNFs to Empower Component Analysis. SAT 2006: 61-74 - [c52]Yuliya Zabiyaka, Adnan Darwiche:
Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies. SAT 2006: 116-129 - [c51]Hei Chan, Adnan Darwiche:
On the Robustness of Most Probable Explanations. UAI 2006 - [c50]Arthur Choi, Adnan Darwiche:
A Variational Approach for Approximating Bayesian Networks by Edge Deletion. UAI 2006 - 2005
- [j19]Hei Chan, Adnan Darwiche:
On the revision of probabilistic beliefs using uncertain evidence. Artif. Intell. 163(1): 67-90 (2005) - [j18]Hei Chan, Adnan Darwiche:
A distance measure for bounding probabilistic belief change. Int. J. Approx. Reason. 38(2): 149-174 (2005) - [c49]Jinbo Huang, Adnan Darwiche:
On Compiling System Models for Faster and More Scalable Diagnosis. AAAI 2005: 300-306 - [c48]Héctor Palacios, Blai Bonet, Adnan Darwiche, Hector Geffner:
Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations. ICAPS 2005: 141-150 - [c47]Jinbo Huang, Adnan Darwiche:
DPLL with a Trace: From SAT to Knowledge Compilation. IJCAI 2005: 156-162 - [c46]Hei Chan, Adnan Darwiche:
Sensitivity Analysis in Markov Networks. IJCAI 2005: 1300-1305 - [c45]Mark Chavira, Adnan Darwiche:
Compiling Bayesian Networks with Local Structure. IJCAI 2005: 1306-1312 - [c44]Mark Chavira, David Allen, Adnan Darwiche:
Exploiting Evidence in Probabilistic Inference. UAI 2005: 112-127 - [c43]Adnan Darwiche, Hei Chan, Arthur Choi:
On Bayesian Network Approximation by Edge Deletion. UAI 2005: 128-135 - 2004
- [j17]James D. Park, Adnan Darwiche:
A differential semantics for jointree algorithms. Artif. Intell. 156(2): 197-216 (2004) - [j16]Adnan Darwiche, Pierre Marquis:
Compiling propositional weighted bases. Artif. Intell. 157(1-2): 81-113 (2004) - [j15]James D. Park, Adnan Darwiche:
Complexity Results and Approximation Strategies for MAP Explanations. J. Artif. Intell. Res. 21: 101-133 (2004) - [c42]Adnan Darwiche:
New Advances in Compiling CNF into Decomposable Negation Normal Form. ECAI 2004: 328-332 - [c41]Jinbo Huang, Adnan Darwiche:
Toward Good Elimination Orders for Symbolic SAT Solving. ICTAI 2004: 566-573 - [c40]Jinbo Huang, Adnan Darwiche:
Using DPLL for Efficient OBDD Construction. SAT 2004 - [c39]Jinbo Huang, Adnan Darwiche:
Using DPLL for Efficient OBDD Construction. SAT (Selected Papers 2004: 157-172 - [c38]Hei Chan, Adnan Darwiche:
Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters. UAI 2004: 67-75 - 2003
- [j14]Adnan Darwiche:
A differential approach to inference in Bayesian networks. J. ACM 50(3): 280-305 (2003) - [c37]James D. Park, Adnan Darwiche:
Morphing the Hugin and Shenoy-Shafer Architectures. ECSQARU 2003: 149-160 - [c36]Hei Chan, Adnan Darwiche:
On the Revision of Probabilistic Beliefs using Uncertain Evidence. IJCAI 2003: 99-105 - [c35]David Allen, Adnan Darwiche:
Optimal Time-Space Tradeoff in Probabilistic Inference. IJCAI 2003: 969-975 - [c34]Jinbo Huang, Adnan Darwiche:
A Structure-Based Variable Ordering Heuristic for SAT. IJCAI 2003: 1167-1172 - [c33]David Allen, Adnan Darwiche:
New Advances in Inference by Recursive Conditioning. UAI 2003: 2-10 - [c32]Hei Chan, Adnan Darwiche:
Reasoning about Bayesian Network Classifiers. UAI 2003: 107-115 - [c31]James D. Park, Adnan Darwiche:
Solving MAP Exactly using Systematic Search. UAI 2003: 459-468 - 2002
- [j13]Adnan Darwiche, Pierre Marquis:
A Knowledge Compilation Map. J. Artif. Intell. Res. 17: 229-264 (2002) - [j12]Hei Chan, Adnan Darwiche:
When do Numbers Really Matter? J. Artif. Intell. Res. 17: 265-287 (2002) - [c30]Hei Chan, Adnan Darwiche:
A Distance Measure for Bounding Probabilistic Belief Change. AAAI/IAAI 2002: 539-545 - [c29]Adnan Darwiche:
A Compiler for Deterministic, Decomposable Negation Normal Form. AAAI/IAAI 2002: 627-634 - [c28]Adnan Darwiche:
A Logical Approach to Factoring Belief Networks. KR 2002: 409-420 - [c27]James D. Park, Adnan Darwiche:
A Differential Semantics for Jointree Algorithms. NIPS 2002: 785-784 - [c26]Adnan Darwiche, Pierre Marquis:
Compilation of propositional weighted bases. NMR 2002: 6-14 - [c25]David Allen, Adnan Darwiche:
Optimal Time-Space Tradeoff in Probabilistic Inference. Probabilistic Graphical Models 2002 - [c24]Mark Hopkins, Adnan Darwiche:
A Practical Relaxation of Constant-Factor Treewidth Approximation Algorithms. Probabilistic Graphical Models 2002 - [e1]Adnan Darwiche, Nir Friedman:
UAI '02, Proceedings of the 18th Conference in Uncertainty in Artificial Intelligence, University of Alberta, Edmonton, Alberta, Canada, August 1-4, 2002. Morgan Kaufmann 2002, ISBN 1-55860-897-4 [contents] - [i4]Adnan Darwiche, Pierre Marquis:
Compilation of Propositional Weighted Bases. CoRR cs.AI/0207045 (2002) - 2001
- [j11]Adnan Darwiche:
Recursive conditioning. Artif. Intell. 126(1-2): 5-41 (2001) - [j10]Adnan Darwiche:
Constant-space reasoning in dynamic Bayesian networks. Int. J. Approx. Reason. 26(3): 161-178 (2001) - [j9]Adnan Darwiche:
Decomposable negation normal form. J. ACM 48(4): 608-647 (2001) - [j8]Adnan Darwiche:
On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision. J. Appl. Non Class. Logics 11(1-2): 11-34 (2001) - [c23]Adnan Darwiche, Mark Hopkins:
Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees. ECSQARU 2001: 180-191 - [c22]Adnan Darwiche, Pierre Marquis:
A Perspective on Knowledge Compilation. IJCAI 2001: 175-182 - [c21]Hei Chan, Adnan Darwiche:
When do Numbers Really Matter? UAI 2001: 65-74 - [c20]James D. Park, Adnan Darwiche:
Approximating MAP using Local Search. UAI 2001: 403-410 - 2000
- [j7]Adnan Darwiche:
Model-Based Diagnosis under Real-World Constraints. AI Mag. 21(2): 57-73 (2000) - [c19]Adnan Darwiche:
A Differential Approach to Inference in Bayesian Networks. UAI 2000: 123-132 - [c18]Adnan Darwiche:
Any-Space Probabilistic Inference. UAI 2000: 133-142 - [i3]Adnan Darwiche:
On the tractable counting of theory models and its application to belief revision and truth maintenance. CoRR cs.AI/0003044 (2000)
1990 – 1999
- 1999
- [c17]Adnan Darwiche:
Compiling Knowledge into Decomposable Negation Normal Form. IJCAI 1999: 284-289 - [c16]Adnan Darwiche:
Utilizing Device Behavior in Structure-Based Diagnosis. IJCAI 1999: 1096-1101 - 1998
- [j6]Adnan Darwiche:
Model-Based Diagnosis using Structured System Descriptions. J. Artif. Intell. Res. 8: 165-222 (1998) - [c15]Adnan Darwiche:
Compiling Devices: A Structure-Based Approach. KR 1998: 156-155 - [c14]Adnan Darwiche:
Dynamic Jointrees. UAI 1998: 97-104 - [i2]Adnan Darwiche:
Model-Based Diagnosis using Structured System Descriptions. CoRR cs.AI/9806101 (1998) - 1997
- [j5]Adnan Darwiche, Judea Pearl:
On the Logic of Iterated Belief Revision. Artif. Intell. 89(1-2): 1-29 (1997) - [j4]Adnan Darwiche:
A Logical Notion of Conditional Independence: Properties and Application. Artif. Intell. 97(1-2): 45-82 (1997) - [j3]Adnan Darwiche, Gregory M. Provan:
Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference. J. Artif. Intell. Res. 6: 147-176 (1997) - [c13]Adnan Darwiche, Gregory M. Provan:
The Effect of Observations on the Complexity of Model-Based Diagnosis. AAAI/IAAI 1997: 94-99 - [c12]Adnan Darwiche, Gregory M. Provan:
A Standard Approach for Optimizing Belief Network Inference Using Query DAGs. UAI 1997: 116-123 - [i1]Adnan Darwiche, Gregory M. Provan:
Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference. CoRR cs.AI/9705101 (1997) - 1996
- [j2]Cecil Huang, Adnan Darwiche:
Inference in belief networks: A procedural guide. Int. J. Approx. Reason. 15(3): 225-263 (1996) - [c11]Adnan Darwiche:
Utilizing Knowledge-Base Semantics in Graph-Based Algorithms. AAAI/IAAI, Vol. 1 1996: 607-613 - [c10]Adnan Darwiche, Gregory M. Provan:
Query DAGs: A practical paradigm for implementing belief-network inference. UAI 1996: 203-210 - 1995
- [c9]Adnan Darwiche:
Model-Based Diagnosis using Causal Networks. IJCAI 1995: 211-219 - [c8]Adnan Darwiche:
Conditioning Algorithms for Exact and Approximate Inference in Causal Networks. UAI 1995: 99-107 - 1994
- [c7]Adnan Darwiche, Judea Pearl:
Symbolic Causal Networks. AAAI 1994: 238-244 - [c6]Adnan Darwiche, Judea Pearl:
On the Logic of iterated Belief Revision. TARK 1994: 5-23 - [c5]Adnan Darwiche, Moisés Goldszmidt:
Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty. UAI 1994: 136-144 - [c4]Adnan Darwiche, Moisés Goldszmidt:
On the Relation between Kappa Calculus and Probabilistic Reasoning. UAI 1994: 145-153 - 1993
- [c3]Adnan Darwiche:
Argument Calculus and Networks. UAI 1993: 420-427 - 1992
- [c2]Adnan Darwiche, Matthew L. Ginsberg:
A Symbolic Generalization of Probability Theory. AAAI 1992: 622-627 - [c1]Adnan Darwiche:
Objection-based Causal Exception Networks. UAI 1992: 67-73
1980 – 1989
- 1988
- [j1]Adnan Darwiche, Raymond E. Levitt, Barbara Hayes-Roth:
OARPLAN: Generating project plans by reasoning about objects, actions and resources. Artif. Intell. Eng. Des. Anal. Manuf. 2(3): 169-181 (1988)
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 2025-02-15 00:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint