Adnan Darwiche

263 papers A* 56A 48B 4C 4Misc 2Journal 110Unranked 32

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Circuit Representations of Random Forests with Applications to XAI. CoRR Chunxi Ji, Adnan Darwiche
2026	J	`jnl`	Scaling the Explanation of Multi-Class Bayesian Network Classifiers. CoRR Yaofang Zhang, Adnan Darwiche
2025	J	`jnl`	On the Granularity of Causal Effect Identifiability. CoRR Yizuo Chen, Adnan Darwiche
2024	Misc	`conf`	Causal Unit Selection using Tractable Arithmetic Circuits. FLAIRS Haiying Huang, Adnan Darwiche
2024	J	`jnl`	Causal Unit Selection using Tractable Arithmetic Circuits. CoRR Haiying Huang, Adnan Darwiche
2024	J	`jnl`	Constrained Identifiability of Causal Effects. CoRR Yizuo Chen, Adnan Darwiche
2024	A*	`conf`	Identifying Causal Effects Under Functional Dependencies. NeurIPS Yizuo Chen, Adnan Darwiche
2024	J	`jnl`	Identifying Causal Effects Under Functional Dependencies. CoRR Yizuo Chen, Adnan Darwiche
2024	J	`jnl`	Identifying Causal Effects Under Functional Dependencies. Entropy Yizuo Chen, Adnan Darwiche
2024	J	`jnl`	Knowledge compilation. Ann. Math. Artif. Intell. Adnan Darwiche, Pierre Marquis
2024	J	`jnl`	Towards an effective practice of learning from data and knowledge. Int. J. Approx. Reason. Yizuo Chen, Haiying Huang, Adnan Darwiche
2024	Misc	`conf`	Which Actions Are Always Necessary in Fully-Observable Non-Deterministic Planning? FLAIRS Yaofang Zhang, Adnan Darwiche
2023	J	`jnl`	A New Class of Explanations for Classifiers with Non-Binary Features. CoRR Chunxi Ji, Adnan Darwiche
2023	B	`conf`	A New Class of Explanations for Classifiers with Non-binary Features. JELIA Chunxi Ji, Adnan Darwiche
2023	—	`conf`	An Algorithm and Complexity Results for Causal Unit Selection. CLeaR Haiying Huang, Adnan Darwiche
2023	J	`jnl`	An Algorithm and Complexity Results for Causal Unit Selection. CoRR Haiying Huang, Adnan Darwiche
2023	J	`jnl`	FPGA Acceleration of Probabilistic Sentential Decision Diagrams with High-level Synthesis. ACM Trans. Reconfigurable Technol. Syst. Young Kyu Choi, Carlos Santillana, Yujia Shen, Adnan Darwiche, Jason Cong
2023	A*	`conf`	Logic for Explainable AI. LICS Adnan Darwiche
2023	J	`jnl`	Logic for Explainable AI. CoRR Adnan Darwiche
2023	J	`jnl`	On the (Complete) Reasons Behind Decisions. J. Log. Lang. Inf. Adnan Darwiche, Auguste Hirth
2023	A*	`conf`	On the Complexity of Counterfactual Reasoning. IJCAI Yunqiu Han, Yizuo Chen, Adnan Darwiche
2023	J	`jnl`	Tractable Bounding of Counterfactual Queries by Knowledge Compilation. CoRR David Huber, Yizuo Chen, Alessandro Antonucci, Adnan Darwiche, Marco Zaffalon
2022	J	`jnl`	Causal Inference Using Tractable Circuits. CoRR Adnan Darwiche
2022	A*	`conf`	On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract). IJCAI Adnan Darwiche, Pierre Marquis
2022	J	`jnl`	On the Complexity of Counterfactual Reasoning. CoRR Yunqiu Han, Yizuo Chen, Adnan Darwiche
2022	A*	`conf`	On the Computation of Necessary and Sufficient Explanations. AAAI Adnan Darwiche, Chunxi Ji
2022	J	`jnl`	On the Computation of Necessary and Sufficient Explanations. CoRR Adnan Darwiche, Chunxi Ji
2022	A	`conf`	On the definition and computation of causal treewidth. UAI Yizuo Chen, Adnan Darwiche
2022	J	`jnl`	Tractable Boolean and Arithmetic Circuits. CoRR Adnan Darwiche
2021	—	`ch.`	Complete Algorithms. Handbook of Satisfiability Adnan Darwiche, Knot Pipatsrisawat
2021	J	`jnl`	On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI. CoRR Adnan Darwiche, Pierre Marquis
2021	J	`jnl`	On Quantifying Literals in Boolean Logic and its Applications to Explainable AI. J. Artif. Intell. Res. Adnan Darwiche, Pierre Marquis
2021	A*	`conf`	On Recovering from Modeling Errors Using Testing Bayesian Networks. ICML Haiying Huang, Adnan Darwiche
2021	J	`jnl`	Open-world probabilistic databases: Semantics, algorithms, complexity. Artif. Intell. Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck
2021	—	`ch.`	Tractable Boolean and Arithmetic Circuits. Neuro-Symbolic Artificial Intelligence Adnan Darwiche
2020	—	`conf`	A New Perspective on Learning Context-Specific Independence. PGM Yujia Shen, Arthur Choi, Adnan Darwiche
2020	J	`jnl`	A New Perspective on Learning Context-Specific Independence. CoRR Yujia Shen, Arthur Choi, Adnan Darwiche
2020	A	`conf`	An Advance on Variable Elimination with Applications to Tensor-Based Computation. ECAI Adnan Darwiche
2020	J	`jnl`	An Advance on Variable Elimination with Applications to Tensor-Based Computation. CoRR Adnan Darwiche
2020	J	`jnl`	On Symbolically Encoding the Behavior of Random Forests. CoRR Arthur Choi, Andy Shih, Anchal Goyanka, Adnan Darwiche
2020	J	`jnl`	On The Reasons Behind Decisions. CoRR Adnan Darwiche, Auguste Hirth
2020	A*	`conf`	On Tractable Representations of Binary Neural Networks. KR Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi
2020	J	`jnl`	On Tractable Representations of Binary Neural Networks. CoRR Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi
2020	A	`conf`	On the Reasons Behind Decisions. ECAI Adnan Darwiche, Auguste Hirth
2020	—	`conf`	Supervised Learning with Background Knowledge. PGM Yizuo Chen, Arthur Choi, Adnan Darwiche
2020	A*	`conf`	Three Modern Roles for Logic in AI. PODS Adnan Darwiche
2020	J	`jnl`	Three Modern Roles for Logic in AI. CoRR Adnan Darwiche
2019	A*	`conf`	Compiling Bayesian Network Classifiers into Decision Graphs. AAAI Andy Shih, Arthur Choi, Adnan Darwiche
2019	A*	`conf`	Conditional Independence in Testing Bayesian Networks. ICML Yujia Shen, Haiying Huang, Arthur Choi, Adnan Darwiche
2019	J	`jnl`	On the relative expressiveness of Bayesian and neural networks. Int. J. Approx. Reason. Arthur Choi, Ruocheng Wang, Adnan Darwiche
2019	A*	`conf`	Structured Bayesian Networks: From Inference to Learning with Routes. AAAI Yujia Shen, Anchal Goyanka, Adnan Darwiche, Arthur Choi
2019	A	`conf`	Verifying Binarized Neural Networks by Angluin-Style Learning. SAT Andy Shih, Adnan Darwiche, Arthur Choi
2018	A*	`conf`	A Symbolic Approach to Explaining Bayesian Network Classifiers. IJCAI Andy Shih, Arthur Choi, Adnan Darwiche
2018	J	`jnl`	A Symbolic Approach to Explaining Bayesian Network Classifiers. CoRR Andy Shih, Arthur Choi, Adnan Darwiche
2018	J	`jnl`	An Exhaustive DPLL Algorithm for Model Counting. J. Artif. Intell. Res. Umut Oztok, Adnan Darwiche
2018	A*	`conf`	Conditional PSDDs: Modeling and Learning With Modular Knowledge. AAAI Yujia Shen, Arthur Choi, Adnan Darwiche
2018	—	`conf`	Formal Verification of Bayesian Network Classifiers. PGM Andy Shih, Arthur Choi, Adnan Darwiche
2018	J	`jnl`	Human-level intelligence or animal-like abilities? Commun. ACM Adnan Darwiche
2018	J	`jnl`	On pruning with the MDL Score. Int. J. Approx. Reason. Eunice Yuh-Jie Chen, Adnan Darwiche, Arthur Choi
2018	—	`conf`	On the Relative Expressiveness of Bayesian and Neural Networks. PGM Arthur Choi, Adnan Darwiche
2018	J	`jnl`	On the Relative Expressiveness of Bayesian and Neural Networks. CoRR Arthur Choi, Ruocheng Wang, Adnan Darwiche
2017	A	`conf`	A Tractable Probabilistic Model for Subset Selection. UAI Yujia Shen, Arthur Choi, Adnan Darwiche
2017	J	`jnl`	Human-Level Intelligence or Animal-Like Abilities? CoRR Adnan Darwiche
2017	J	`jnl`	Learning Bayesian network parameters under equivalence constraints. Artif. Intell. Tiansheng Yao, Arthur Choi, Adnan Darwiche
2017	J	`jnl`	On Compiling DNNFs without Determinism. CoRR Umut Oztok, Adnan Darwiche
2017	A*	`conf`	On Relaxing Determinism in Arithmetic Circuits. ICML Arthur Choi, Adnan Darwiche
2017	J	`jnl`	On Relaxing Determinism in Arithmetic Circuits. CoRR Arthur Choi, Adnan Darwiche
2017	A*	`conf`	Open-World Probabilistic Databases: An Abridged Report. IJCAI Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck
2017	A*	`conf`	Optimal Feature Selection for Decision Robustness in Bayesian Networks. IJCAI YooJung Choi, Adnan Darwiche, Guy Van den Broeck
2017	J	`jnl`	Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381). Dagstuhl Reports Adnan Darwiche, Pierre Marquis, Dan Suciu, Stefan Szeider
2017	—	`conf`	Tractability in Structured Probability Spaces. NIPS Arthur Choi, Yujia Shen, Adnan Darwiche
2016	—	`ed.`	Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. AAAI Workshop: Beyond NP Adnan Darwiche
2016	A	`conf`	Enumerating Equivalence Classes of Bayesian Networks using EC Graphs. AISTATS Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche
2016	—	`conf`	Learning Bayesian networks with ancestral constraints. NIPS Eunice Yuh-Jie Chen, Yujia Shen, Arthur Choi, Adnan Darwiche
2016	—	`conf`	On Pruning with the MDL Score. Probabilistic Graphical Models Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche
2016	—	`conf`	Open World Probabilistic Databases (Extended Abstract). Description Logics Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck
2016	A*	`conf`	Open-World Probabilistic Databases. KR Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck
2016	—	`conf`	Preface: The Beyond NP Workshop. AAAI Workshop: Beyond NP Adnan Darwiche, João Marques-Silva, Pierre Marquis
2016	J	`jnl`	Reports of the 2016 AAAI Workshop Program. AI Mag. 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
2016	A*	`conf`	Solving PP KR Umut Oztok, Arthur Choi, Adnan Darwiche
2016	A*	`conf`	Structured Features in Naive Bayes Classification. AAAI Arthur Choi, Nazgol Tavabi, Adnan Darwiche
2016	—	`conf`	Tractable Operations for Arithmetic Circuits of Probabilistic Models. NIPS Yujia Shen, Arthur Choi, Adnan Darwiche
2015	A*	`conf`	A Top-Down Compiler for Sentential Decision Diagrams. IJCAI Umut Oztok, Adnan Darwiche
2015	A	`conf`	An Upper Bound on the Global Optimum in Parameter Estimation. UAI Khaled S. Refaat, Adnan Darwiche
2015	—	`conf`	Computer Adaptive Testing Using the Same-Decision Probability. BMA@UAI Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
2015	A*	`conf`	Data Compression for Learning MRF Parameters. IJCAI Khaled S. Refaat, Adnan Darwiche
2015	J	`jnl`	Dual Decomposition from the Perspective of Relax, Compensate and then Recover. CoRR Arthur Choi, Adnan Darwiche
2015	A	`conf`	Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data. UAI Guy Van den Broeck, Karthika Mohan, Arthur Choi, Adnan Darwiche, Judea Pearl
2015	—	`conf`	Learning Bayesian Networks with Non-Decomposable Scores. GKR Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche
2015	A*	`conf`	On the Role of Canonicity in Knowledge Compilation. AAAI Guy Van den Broeck, Adnan Darwiche
2015	—	`conf`	Probability Distributions over Structured Spaces. AAAI Spring Symposia Arthur Choi, Guy Van den Broeck, Adnan Darwiche
2015	—	`conf`	Tractable Learning for Complex Probability Queries. NIPS Jessa Bekker, Jesse Davis, Arthur Choi, Adnan Darwiche, Guy Van den Broeck
2015	A*	`conf`	Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions. IJCAI Arthur Choi, Guy Van den Broeck, Adnan Darwiche
2015	A*	`conf`	Value of Information Based on Decision Robustness. AAAI Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
2014	J	`jnl`	Algorithms and Applications for the Same-Decision Probability. J. Artif. Intell. Res. Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
2014	A	`conf`	CV-width: A New Complexity Parameter for CNFs. ECAI Umut Oztok, Adnan Darwiche
2014	—	`conf`	Decomposing Parameter Estimation Problems. NIPS Khaled S. Refaat, Arthur Choi, Adnan Darwiche
2014	A	`conf`	On Compiling CNF into Decision-DNNF. CP Umut Oztok, Adnan Darwiche
2014	J	`jnl`	On the Role of Canonicity in Bottom-up Knowledge Compilation. CoRR Guy Van den Broeck, Adnan Darwiche
2014	A*	`conf`	Probabilistic Sentential Decision Diagrams. KR Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche
2014	J	`jnl`	Query DAGs: A Practical Paradigm for Implementing Belief Network Inference. CoRR Adnan Darwiche, Gregory M. Provan
2014	A*	`conf`	Skolemization for Weighted First-Order Model Counting. KR Guy Van den Broeck, Wannes Meert, Adnan Darwiche
2014	—	`ch.`	Tractable Knowledge Representation Formalisms. Tractability Adnan Darwiche
2014	J	`jnl`	When do Numbers Really Matter? CoRR Hei Chan, Adnan Darwiche
2013	J	`jnl`	A Differential Approach to Inference in Bayesian Networks CoRR Adnan Darwiche
2013	J	`jnl`	A Standard Approach for Optimizing Belief Network Inference using Query DAGs CoRR Adnan Darwiche, Gregory M. Provan
2013	J	`jnl`	Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty CoRR Adnan Darwiche, Moisés Goldszmidt
2013	A*	`conf`	An Exact Algorithm for Computing the Same-Decision Probability. IJCAI Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
2013	J	`jnl`	Any-Space Probabilistic Inference CoRR Adnan Darwiche
2013	J	`jnl`	Approximating MAP using Local Search CoRR James D. Park, Adnan Darwiche
2013	J	`jnl`	Argument Calculus and Networks CoRR Adnan Darwiche
2013	C	`conf`	Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams. ECSQARU Arthur Choi, Doga Kisa, Adnan Darwiche
2013	J	`jnl`	Conditioning Methods for Exact and Approximate Inference in Causal Networks CoRR Adnan Darwiche
2013	J	`jnl`	Dynamic Jointrees CoRR Adnan Darwiche
2013	A*	`conf`	Dynamic Minimization of Sentential Decision Diagrams. AAAI Arthur Choi, Adnan Darwiche
2013	—	`conf`	EDML for Learning Parameters in Directed and Undirected Graphical Models. NIPS Khaled S. Refaat, Arthur Choi, Adnan Darwiche
2013	J	`jnl`	Objection-Based Causal Networks CoRR Adnan Darwiche
2013	—	`conf`	On the Complexity and Approximation of Binary Evidence in Lifted Inference. NIPS Guy Van den Broeck, Adnan Darwiche
2013	J	`jnl`	On the Complexity and Approximation of Binary Evidence in Lifted Inference. CoRR Guy Van den Broeck, Adnan Darwiche
2013	J	`jnl`	On the Relation between Kappa Calculus and Probabilistic Reasoning CoRR Adnan Darwiche, Moisés Goldszmidt
2013	J	`jnl`	Proceedings of the Eighteenth Conference on Uncertainty in Artificial Intelligence (2002) CoRR Adnan Darwiche, Nir Friedman
2013	J	`jnl`	Skolemization for Weighted First-Order Model Counting. CoRR Guy Van den Broeck, Wannes Meert, Adnan Darwiche
2013	J	`jnl`	Software health management with Bayesian networks. Innov. Syst. Softw. Eng. Johann Schumann, Timmy Mbaya, Ole J. Mengshoel, Knot Pipatsrisawat, Ashok N. Srivastava, Arthur Choi, Adnan Darwiche
2012	J	`jnl`	A Variational Approach for Approximating Bayesian Networks by Edge Deletion. CoRR Arthur Choi, Adnan Darwiche
2012	J	`jnl`	Approximating the Partition Function by Deleting and then Correcting for Model Edges CoRR Arthur Choi, Adnan Darwiche
2012	A*	`conf`	Basing Decisions on Sentences in Decision Diagrams. AAAI Yexiang Xue, Arthur Choi, Adnan Darwiche
2012	J	`jnl`	EDML: A Method for Learning Parameters in Bayesian Networks CoRR Arthur Choi, Khaled S. Refaat, Adnan Darwiche
2012	J	`jnl`	Exploiting Evidence in Probabilistic Inference CoRR Mark Chavira, David Allen, Adnan Darwiche
2012	A	`conf`	Generalized Decision Diagrams: The game is not over yet! ECAI Adnan Darwiche
2012	J	`jnl`	Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference CoRR Guy Van den Broeck, Arthur Choi, Adnan Darwiche
2012	A	`conf`	Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference. UAI Guy Van den Broeck, Arthur Choi, Adnan Darwiche
2012	J	`jnl`	New Advances and Theoretical Insights into EDML CoRR Khaled S. Refaat, Arthur Choi, Adnan Darwiche
2012	A	`conf`	New Advances and Theoretical Insights into EDML. UAI Khaled S. Refaat, Arthur Choi, Adnan Darwiche
2012	J	`jnl`	New Advances in Inference by Recursive Conditioning CoRR David Allen, Adnan Darwiche
2012	J	`jnl`	Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks CoRR Arthur Choi, Mark Chavira, Adnan Darwiche
2012	J	`jnl`	On Bayesian Network Approximation by Edge Deletion CoRR Arthur Choi, Hei Chan, Adnan Darwiche
2012	J	`jnl`	On the Robustness of Most Probable Explanations. CoRR Hei Chan, Adnan Darwiche
2012	J	`jnl`	Reasoning about Bayesian Network Classifiers CoRR Hei Chan, Adnan Darwiche
2012	J	`jnl`	Same-decision probability: A confidence measure for threshold-based decisions. Int. J. Approx. Reason. Arthur Choi, Yexiang Xue, Adnan Darwiche
2012	J	`jnl`	Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters CoRR Hei Chan, Adnan Darwiche
2012	J	`jnl`	Solving MAP Exactly using Systematic Search CoRR James D. Park, Adnan Darwiche
2011	J	`jnl`	A Knowledge Compilation Map CoRR Adnan Darwiche, Pierre Marquis
2011	J	`jnl`	Complexity Results and Approximation Strategies for MAP Explanations CoRR Adnan Darwiche, James D. Park
2011	A	`conf`	EDML: A Method for Learning Parameters in Bayesian Networks. UAI Arthur Choi, Khaled S. Refaat, Adnan Darwiche
2011	J	`jnl`	On the power of clause-learning SAT solvers as resolution engines. Artif. Intell. Knot Pipatsrisawat, Adnan Darwiche
2011	A*	`conf`	SDD: A New Canonical Representation of Propositional Knowledge Bases. IJCAI Adnan Darwiche
2011	J	`jnl`	The Language of Search CoRR Adnan Darwiche, Jinbo Huang
2011	J	`jnl`	When do Numbers Really Matter? CoRR Hei Chan, Adnan Darwiche
2010	A*	`conf`	A Lower Bound on the Size of Decomposable Negation Normal Form. AAAI Thammanit Pipatsrisawat, Adnan Darwiche
2010	J	`jnl`	Bayesian networks. Commun. ACM Adnan Darwiche
2010	A	`conf`	On Decomposability and Interaction Functions. ECAI Knot Pipatsrisawat, Adnan Darwiche
2010	J	`jnl`	On Modern Clause-Learning Satisfiability Solvers. J. Autom. Reason. Knot Pipatsrisawat, Adnan Darwiche
2010	J	`jnl`	Optimal algorithms for haplotype assembly from whole-genome sequence data. Bioinform. Dan He, Arthur Choi, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin
2010	J	`jnl`	Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study. IEEE Trans. Syst. Man Cybern. Part A Ole J. Mengshoel, Mark Chavira, Keith Cascio, Scott Poll, Adnan Darwiche, N. Serdar Uckun
2010	—	`conf`	Relax, Compensate and Then Recover. JSAI-isAI Workshops Arthur Choi, Adnan Darwiche
2010	B	`conf`	Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference. JELIA Adnan Darwiche
2010	A	`conf`	Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications. ECAI Knot Pipatsrisawat, Adnan Darwiche
2010	—	`conf`	Towards software health management with bayesian networks. FoSER Johann Schumann, Ole J. Mengshoel, Ashok N. Srivastava, Adnan Darwiche
2009	A*	`conf`	A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT. IJCAI Knot Pipatsrisawat, Adnan Darwiche
2009	—	`conf`	Approximating MAP by Compensating for Structural Relaxations. NIPS Arthur Choi, Adnan Darwiche
2009	A	`conf`	Approximating Weighted Max-SAT Problems by Compensating for Relaxations. CP Arthur Choi, Trevor Standley, Adnan Darwiche
2009	—	`ch.`	Complete Algorithms. Handbook of Satisfiability Adnan Darwiche, Knot Pipatsrisawat
2009	—	`book`	Modeling and Reasoning with Bayesian Networks. Adnan Darwiche
2009	A	`conf`	On the Power of Clause-Learning SAT Solvers with Restarts. CP Knot Pipatsrisawat, Adnan Darwiche
2009	A	`conf`	Width-Based Restart Policies for Clause-Learning Satisfiability Solvers. SAT Knot Pipatsrisawat, Adnan Darwiche
2008	A*	`conf`	A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. AAAI Knot Pipatsrisawat, Adnan Darwiche
2008	A	`conf`	Approximating the Partition Function by Deleting and then Correcting for Model Edges. UAI Arthur Choi, Adnan Darwiche
2008	—	`ch.`	Bayesian Networks. Handbook of Knowledge Representation Adnan Darwiche
2008	A*	`conf`	Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft. AAAI Ole J. Mengshoel, Adnan Darwiche, Keith Cascio, Mark Chavira, Scott Poll, N. Serdar Uckun
2008	C	`conf`	Efficient Genome Wide Tagging by Reduction to SAT. WABI Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin
2008	—	`conf`	Evaluating probabilistic reasoning systems. BMA Adnan Darwiche, Rina Dechter
2008	A*	`conf`	Focusing Generalizations of Belief Propagation on Targeted Queries. AAAI Arthur Choi, Adnan Darwiche
2008	A*	`conf`	Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations. AAAI Arthur Choi, Adnan Darwiche
2008	A*	`conf`	New Compilation Languages Based on Structured Decomposability. AAAI Knot Pipatsrisawat, Adnan Darwiche
2008	J	`jnl`	On probabilistic inference by weighted model counting. Artif. Intell. Mark Chavira, Adnan Darwiche
2008	J	`jnl`	RC_Link: Genetic linkage analysis using Bayesian networks. Int. J. Approx. Reason. David Allen, Adnan Darwiche
2008	J	`jnl`	Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis. J. Satisf. Boolean Model. Comput. Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche
2007	A	`conf`	A Lightweight Component Caching Scheme for Satisfiability Solvers. SAT Knot Pipatsrisawat, Adnan Darwiche
2007	—	`conf`	Clone: Solving Weighted Max-SAT in a Reduced Search Space. Australian Conference on Artificial Intelligence Knot Pipatsrisawat, Adnan Darwiche
2007	A*	`conf`	Compiling Bayesian Networks Using Variable Elimination. IJCAI Mark Chavira, Adnan Darwiche
2007	A	`conf`	Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. UAI Arthur Choi, Mark Chavira, Adnan Darwiche
2007	J	`jnl`	The Language of Search. J. Artif. Intell. Res. Jinbo Huang, Adnan Darwiche
2006	A	`conf`	A Variational Approach for Approximating Bayesian Networks by Edge Deletion. UAI Arthur Choi, Adnan Darwiche
2006	A*	`conf`	An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality. AAAI Arthur Choi, Adnan Darwiche
2006	J	`jnl`	Compiling relational Bayesian networks for exact inference. Int. J. Approx. Reason. Mark Chavira, Adnan Darwiche, Manfred Jaeger
2006	A	`conf`	Encoding CNFs to Empower Component Analysis. SAT Mark Chavira, Adnan Darwiche
2006	A	`conf`	Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies. SAT Yuliya Zabiyaka, Adnan Darwiche
2006	A	`conf`	On the Robustness of Most Probable Explanations. UAI Hei Chan, Adnan Darwiche
2006	A	`conf`	Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation. IJCAR Adnan Darwiche
2006	A*	`conf`	Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. AAAI Jinbo Huang, Mark Chavira, Adnan Darwiche
2005	J	`jnl`	A distance measure for bounding probabilistic belief change. Int. J. Approx. Reason. Hei Chan, Adnan Darwiche
2005	A*	`conf`	Compiling Bayesian Networks with Local Structure. IJCAI Mark Chavira, Adnan Darwiche
2005	A*	`conf`	DPLL with a Trace: From SAT to Knowledge Compilation. IJCAI Jinbo Huang, Adnan Darwiche
2005	A	`conf`	Exploiting Evidence in Probabilistic Inference. UAI Mark Chavira, David Allen, Adnan Darwiche
2005	A	`conf`	On Bayesian Network Approximation by Edge Deletion. UAI Adnan Darwiche, Hei Chan, Arthur Choi
2005	A*	`conf`	On Compiling System Models for Faster and More Scalable Diagnosis. AAAI Jinbo Huang, Adnan Darwiche
2005	J	`jnl`	On the revision of probabilistic beliefs using uncertain evidence. Artif. Intell. Hei Chan, Adnan Darwiche
2005	A*	`conf`	Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations. ICAPS Héctor Palacios, Blai Bonet, Adnan Darwiche, Hector Geffner
2005	A*	`conf`	Sensitivity Analysis in Markov Networks. IJCAI Hei Chan, Adnan Darwiche
2004	J	`jnl`	A differential semantics for jointree algorithms. Artif. Intell. James D. Park, Adnan Darwiche
2004	J	`jnl`	Compiling propositional weighted bases. Artif. Intell. Adnan Darwiche, Pierre Marquis
2004	J	`jnl`	Complexity Results and Approximation Strategies for MAP Explanations. J. Artif. Intell. Res. James D. Park, Adnan Darwiche
2004	A	`conf`	New Advances in Compiling CNF into Decomposable Negation Normal Form. ECAI Adnan Darwiche
2004	A	`conf`	Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters. UAI Hei Chan, Adnan Darwiche
2004	B	`conf`	Toward Good Elimination Orders for Symbolic SAT Solving. ICTAI Jinbo Huang, Adnan Darwiche
2004	A	`conf`	Using DPLL for Efficient OBDD Construction. SAT Jinbo Huang, Adnan Darwiche
2004	—	`conf`	Using DPLL for Efficient OBDD Construction. SAT (Selected Papers Jinbo Huang, Adnan Darwiche
2003	A*	`conf`	A Structure-Based Variable Ordering Heuristic for SAT. IJCAI Jinbo Huang, Adnan Darwiche
2003	J	`jnl`	A differential approach to inference in Bayesian networks. J. ACM Adnan Darwiche
2003	C	`conf`	Morphing the Hugin and Shenoy-Shafer Architectures. ECSQARU James D. Park, Adnan Darwiche
2003	A	`conf`	New Advances in Inference by Recursive Conditioning. UAI David Allen, Adnan Darwiche
2003	A*	`conf`	On the Revision of Probabilistic Beliefs using Uncertain Evidence. IJCAI Hei Chan, Adnan Darwiche
2003	A*	`conf`	Optimal Time-Space Tradeoff in Probabilistic Inference. IJCAI David Allen, Adnan Darwiche
2003	A	`conf`	Reasoning about Bayesian Network Classifiers. UAI Hei Chan, Adnan Darwiche
2003	A	`conf`	Solving MAP Exactly using Systematic Search. UAI James D. Park, Adnan Darwiche
2002	—	`conf`	A Compiler for Deterministic, Decomposable Negation Normal Form. AAAI/IAAI Adnan Darwiche
2002	—	`conf`	A Differential Semantics for Jointree Algorithms. NIPS James D. Park, Adnan Darwiche
2002	—	`conf`	A Distance Measure for Bounding Probabilistic Belief Change. AAAI/IAAI Hei Chan, Adnan Darwiche
2002	J	`jnl`	A Knowledge Compilation Map. J. Artif. Intell. Res. Adnan Darwiche, Pierre Marquis
2002	A*	`conf`	A Logical Approach to Factoring Belief Networks. KR Adnan Darwiche
2002	—	`conf`	A Practical Relaxation of Constant-Factor Treewidth Approximation Algorithms. Probabilistic Graphical Models Mark Hopkins, Adnan Darwiche
2002	J	`jnl`	Compilation of Propositional Weighted Bases CoRR Adnan Darwiche, Pierre Marquis
2002	—	`conf`	Compilation of propositional weighted bases. NMR Adnan Darwiche, Pierre Marquis
2002	—	`conf`	Optimal Time-Space Tradeoff in Probabilistic Inference. Probabilistic Graphical Models David Allen, Adnan Darwiche
2002	A	`ed.`	UAI '02, Proceedings of the 18th Conference in Uncertainty in Artificial Intelligence, University of Alberta, Edmonton, Alberta, Canada, August 1-4, 2002 UAI Adnan Darwiche, Nir Friedman
2002	J	`jnl`	When do Numbers Really Matter? J. Artif. Intell. Res. Hei Chan, Adnan Darwiche
2001	A*	`conf`	A Perspective on Knowledge Compilation. IJCAI Adnan Darwiche, Pierre Marquis
2001	A	`conf`	Approximating MAP using Local Search. UAI James D. Park, Adnan Darwiche
2001	J	`jnl`	Constant-space reasoning in dynamic Bayesian networks. Int. J. Approx. Reason. Adnan Darwiche
2001	J	`jnl`	Decomposable negation normal form. J. ACM Adnan Darwiche
2001	J	`jnl`	On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision. J. Appl. Non Class. Logics Adnan Darwiche
2001	J	`jnl`	Recursive conditioning. Artif. Intell. Adnan Darwiche
2001	C	`conf`	Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees. ECSQARU Adnan Darwiche, Mark Hopkins
2001	A	`conf`	When do Numbers Really Matter? UAI Hei Chan, Adnan Darwiche
2000	A	`conf`	A Differential Approach to Inference in Bayesian Networks. UAI Adnan Darwiche
2000	A	`conf`	Any-Space Probabilistic Inference. UAI Adnan Darwiche
2000	J	`jnl`	Model-Based Diagnosis under Real-World Constraints. AI Mag. Adnan Darwiche
2000	J	`jnl`	On the tractable counting of theory models and its application to belief revision and truth maintenance CoRR Adnan Darwiche
1999	A*	`conf`	Compiling Knowledge into Decomposable Negation Normal Form. IJCAI Adnan Darwiche
1999	A*	`conf`	Utilizing Device Behavior in Structure-Based Diagnosis. IJCAI Adnan Darwiche
1998	A*	`conf`	Compiling Devices: A Structure-Based Approach. KR Adnan Darwiche
1998	A	`conf`	Dynamic Jointrees. UAI Adnan Darwiche
1998	J	`jnl`	Model-Based Diagnosis using Structured System Descriptions CoRR Adnan Darwiche
1998	J	`jnl`	Model-Based Diagnosis using Structured System Descriptions. J. Artif. Intell. Res. Adnan Darwiche
1997	J	`jnl`	A Logical Notion of Conditional Independence: Properties and Application. Artif. Intell. Adnan Darwiche
1997	A	`conf`	A Standard Approach for Optimizing Belief Network Inference Using Query DAGs. UAI Adnan Darwiche, Gregory M. Provan
1997	J	`jnl`	On the Logic of Iterated Belief Revision. Artif. Intell. Adnan Darwiche, Judea Pearl
1997	J	`jnl`	Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference CoRR Adnan Darwiche, Gregory M. Provan
1997	J	`jnl`	Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference. J. Artif. Intell. Res. Adnan Darwiche, Gregory M. Provan
1997	—	`conf`	The Effect of Observations on the Complexity of Model-Based Diagnosis. AAAI/IAAI Adnan Darwiche, Gregory M. Provan
1996	J	`jnl`	Inference in belief networks: A procedural guide. Int. J. Approx. Reason. Cecil Huang, Adnan Darwiche
1996	A	`conf`	Query DAGs: A practical paradigm for implementing belief-network inference. UAI Adnan Darwiche, Gregory M. Provan
1996	—	`conf`	Utilizing Knowledge-Base Semantics in Graph-Based Algorithms. AAAI/IAAI, Vol. 1 Adnan Darwiche
1995	A	`conf`	Conditioning Algorithms for Exact and Approximate Inference in Causal Networks. UAI Adnan Darwiche
1995	A*	`conf`	Model-Based Diagnosis using Causal Networks. IJCAI Adnan Darwiche
1994	A	`conf`	Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty. UAI Adnan Darwiche, Moisés Goldszmidt
1994	B	`conf`	On the Logic of iterated Belief Revision. TARK Adnan Darwiche, Judea Pearl
1994	A	`conf`	On the Relation between Kappa Calculus and Probabilistic Reasoning. UAI Adnan Darwiche, Moisés Goldszmidt
1994	A*	`conf`	Symbolic Causal Networks. AAAI Adnan Darwiche, Judea Pearl
1993	A	`conf`	Argument Calculus and Networks. UAI Adnan Darwiche
1992	A*	`conf`	A Symbolic Generalization of Probability Theory. AAAI Adnan Darwiche, Matthew L. Ginsberg
1992	A	`conf`	Objection-based Causal Exception Networks. UAI Adnan Darwiche
1988	J	`jnl`	OARPLAN: Generating project plans by reasoning about objects, actions and resources. Artif. Intell. Eng. Des. Anal. Manuf. Adnan Darwiche, Raymond E. Levitt, Barbara Hayes-Roth