Adnan Darwiche

发表

Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty

Moisés Goldszmidt, Adnan Darwiche, Adnan Darwiche, 1994, UAI.

Symbolic Causal Networks for Reasoning about Actions and Plans

J. Pearl, Adnan Darwiche, 1994 .

Uncertainty in artificial intelligence : proceedings of the nineteenth conference (2003), August 7-10, 2003, Acapulco, Mexico

Adnan Darwiche, N. Friedman, Christopher Meek, 2003 .

On the Logic of Iterated Belief Revision

J. Pearl, Adnan Darwiche, 1994, Artif. Intell..

A differential approach to inference in Bayesian networks pdf

Adnan Darwiche, Adnan Darwiche, 2000, JACM.

Rsat 1 . 03 : SAT Solver Description

Adnan Darwiche, Knot Pipatsrisawat, 2007 .

OARPLAN: Generating project plans by reasoning about objects, actions and resources

Raymond E. Levitt, Adnan Darwiche, Barbara Hayes-Roth, 1988, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

E¢ cient Probabilistic Diagnostics for Electrical Power Systems

Adnan Darwiche, O. Mengshoel, S. Uckun, 2008 .

On a Discrete Dirichlet Model

Adnan Darwiche, Arthur Choi, 2010 .

SDD Beginning-User Manual Version 2 . 0

Adnan Darwiche, Arthur Choi, 2013 .

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence SDD: A New Canonical Representation of Propositional Knowledge Bases

Adnan Darwiche, Adnan Darwiche, 2022 .

Verifying Binarized Neural Networks by Local Automaton Learning

Adnan Darwiche, Arthur Choi, Andy Shih, 2019 .

Compiling Neural Networks into Tractable Boolean Circuits

Adnan Darwiche, Arthur Choi, Andy Shih, 2019 .

Conditional PSDDs: Modeling and Learning With Modular Knowledge

Adnan Darwiche, Arthur Choi, Yujia Shen, 2018, AAAI.

SDD Beginning-User Manual Version 2 . 0

Adnan Darwiche, Arthur Choi, 2013 .

Supervised Learning with Background Knowledge

Adnan Darwiche, Arthur Choi, Yizuo Chen, 2020, PGM.

What are Bayesian networks and why are their applications growing across all fields?

Adnan Darwiche, 2010 .

Towards Software Health Management with Bayesian Networks Position Paper

Adnan Darwiche, A. Srivastava, O. Mengshoel, 2010 .

Structure-Based Generation of Plans Compositional Planning using Plan Calculus and Networks

Adnan Darwiche, 2002 .

A Symbolic Generalization eory

Adnan Darwiche, Adnan Darwiche, Matthew E. Ginsberg, 1992 .

A New Algorithm for Computing Upper Bounds for Functional E-MAJSAT Knot

Adnan Darwiche, Knot Pipatsrisawat, 2008 .

Special Track on Continuous Planning

Pascal Van Hentenryck, Benjamin Kuipers, Emilio Frazzoli, 2012, International Conference on Automated Planning and Scheduling.

Compilation of propositional weighted bases

Pierre Marquis, Adnan Darwiche, Adnan Darwiche, 2002, NMR.

Modeling and Reasoning with Bayesian Networks: Bayesian Networks

Adnan Darwiche, 2009 .

Revisiting the Problem of Belief Revision with Uncertain Evidence

Adnan Darwiche, H. Chan, 2003 .

Tractable Boolean and Arithmetic Circuits

Adnan Darwiche, 2021, Neuro-Symbolic Artificial Intelligence.

Artificial Intelligence A logical notion of conditional independence : properties and applications

Adnan Darwiche, 2003 .

Outbreak of staphylococcal bullous impetigo in a maternity ward linked to an asymptomatic healthcare worker.

Adnan Darwiche, B. Provenzano, P. Parneix, 2007, The Journal of hospital infection.

Integrated diagnostic system and method

Adnan Darwiche, Gregory Provan, Adnan Darwiche, 2001 .

On Probabilistic Inference by Weighted Model Counting (cid:63)

Adnan Darwiche, M. Chavira, 2007 .

Recursive conditioning

Adnan Darwiche, Adnan Darwiche, 2001, Artif. Intell..

Reports of the 2016 AAAI Workshop Program

Bruno Bouchard, Parisa Kordjamshidi, Toby Walsh, 2016, AI Mag..

Three Modern Roles for Logic in AI

Adnan Darwiche, Adnan Darwiche, 2020, PODS.

FPGA Acceleration of Probabilistic Sentential Decision Diagrams with High-Level Synthesis

Adnan Darwiche, J. Cong, Yujia Shen, 2022, ACM Transactions on Reconfigurable Technology and Systems.

On the (Complete) Reasons Behind Decisions

Adnan Darwiche, Auguste Hirth, 2022, Journal of Logic, Language and Information.

Inference by Conditioning

Adnan Darwiche, Adnan Darwiche, 2009 .

Three Modern Roles for Logic in AI

Adnan Darwiche, Adnan Darwiche, 2020, PODS.

Exploiting System Structure in Model-Based Diagnosis of Discrete-Event Systems

Adnan Darwiche, Adnan Darwiche, 2007 .

Preface: The Beyond NP Workshop

Joao Marques-Silva, Pierre Marquis, Adnan Darwiche, 2016, AAAI Workshop: Beyond NP.

Objection-based Causal Exception Networks

Adnan Darwiche, Adnan Darwiche, 1992, Conference on Uncertainty in Artificial Intelligence.

Lifted Generalized Belief Propagation: Relax, Compensate and Recover

Guy Van den Broeck, Adnan Darwiche, Arthur Young Choi, 2021, An Introduction to Lifted Probabilistic Inference.

USING DATABASE SPECIFICATIONS TO AUTOMATE THE DIAGNOSIS OF FACTORY AUTOMATION SYSTEMS

Adnan Darwiche, Gregory Provan, Yousri El Fattah, 1998 .

Modeling and Reasoning with Bayesian Networks: Preface

Adnan Darwiche, Adnan Darwiche, 2009 .

Learning: The Bayesian Approach

Adnan Darwiche, Adnan Darwiche, 2009 .

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Adnan Darwiche, Adnan Darwiche, 2019, Electronic Proceedings in Theoretical Computer Science.

Compiling Bayesian Networks

Adnan Darwiche, Adnan Darwiche, 2009 .

A Practical Relaxation of Constant-Factor Treewidth Approximation Algorithms

Mark Hopkins, Adnan Darwiche, Adnan Darwiche, 2002, Probabilistic Graphical Models.

ISWHM: Tools and Techniques for Software and System Health Management

Ole J. Mengshoel, Johann Schumann, Adnan Darwiche, 2010 .

Building Bayesian Networks

Adnan Darwiche, Adnan Darwiche, 2009 .

Models for Graph Decomposition

Adnan Darwiche, Adnan Darwiche, 2009 .

Modeling and Reasoning with Bayesian Networks: Sensitivity Analysis

Adnan Darwiche, Adnan Darwiche, 2009 .

Lifted Aggregation and Skolemization for Directed Models

Guy Van den Broeck, Wannes Meert, Jaesik Choi, 2021, An Introduction to Lifted Probabilistic Inference.

On the Complexity of Counterfactual Reasoning

Adnan Darwiche, Yizuo Chen, Yunqiu Han, 2022, ArXiv.

Abstract W P267: Different Strokes: Causality and Outcomes in the NINDS-tPA Trials

Adnan Darwiche, D. Liebeskind, F. Scalzo, 2015, Stroke.

Conditional Independence in Testing Bayesian Networks

Haiying Huang, Adnan Darwiche, Yujia Shen, 2019, ICML.

On the Relative Expressiveness of Bayesian and Neural Networks

Adnan Darwiche, Arthur Choi, Adnan Darwiche, 2018, PGM.

Probability Distributions over Structured Spaces

Guy Van den Broeck, Adnan Darwiche, Arthur Choi, 2015, AAAI Spring Symposia.

Probabilistic Sentential Decision Diagrams

Guy Van den Broeck, Adnan Darwiche, Arthur Choi, 2014, KR.

Lifted inference for probabilistic logic programs

Guy Van den Broeck, Wannes Meert, Adnan Darwiche, 2014 .

Probabilistic sentential decision diagrams: Learning with massive logical constraints

Guy Van den Broeck, Adnan Darwiche, Arthur Choi, 2014, ICML 2014.

Skolemization for Weighted First-Order Model Counting pdf

Guy Van den Broeck, Wannes Meert, Adnan Darwiche, 2013, KR.

Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference

Guy Van den Broeck, Adnan Darwiche, Arthur Choi, 2012, UAI.

7 Inference in Bayesian Networks : A Historical Perspective

Adnan Darwiche, Adnan Darwiche, 2009 .

A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2009, IJCAI.

A Symbolic Approach to Explaining Bayesian Network Classifiers

Adnan Darwiche, Arthur Choi, Andy Shih, 2018, IJCAI.

Open-World Probabilistic Databases: An Abridged Report

Guy Van den Broeck, Adnan Darwiche, Ismail Ilkan Ceylan, 2017, IJCAI.

Compiling Bayesian Networks Using Variable Elimination

Adnan Darwiche, Mark Chavira, Adnan Darwiche, 2007, IJCAI.

Sensitivity Analysis in Markov Networks

Adnan Darwiche, Hei Chan, Adnan Darwiche, 2005, IJCAI.

Algorithms and Applications for the Same-Decision Probability

Adnan Darwiche, Arthur Choi, Suming Jeremiah Chen, 2014, J. Artif. Intell. Res..

A distance measure for bounding probabilistic belief change

Adnan Darwiche, Hei Chan, Adnan Darwiche, 2002, Int. J. Approx. Reason..

On the Revision of Probabilistic Beliefs using Uncertain Evidence

Adnan Darwiche, Hei Chan, Adnan Darwiche, 2003, IJCAI.

Modeling and Reasoning with Bayesian Networks

Adnan Darwiche, Adnan Darwiche, 2009 .

A Logical Notion of Conditional Independence: Properties and Application

Adnan Darwiche, Adnan Darwiche, 1997, Artif. Intell..

On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision

Adnan Darwiche, Adnan Darwiche, 2001, J. Appl. Non Class. Logics.

On the Logic of Iterated Belief Revision

Judea Pearl, Adnan Darwiche, J. Pearl, 1994, Artif. Intell..

Optimal algorithms for haplotype assembly from whole-genome sequence data

Eleazar Eskin, Adnan Darwiche, Knot Pipatsrisawat, 2010, Bioinform..

Electronic Theses and Dissertations

Onyebuchi A Arah, David E Heckerman, Richard E Korf, 2004 .

Symbolic Causal Networks

Judea Pearl, Adnan Darwiche, J. Pearl, 1994, AAAI.

UAI '02, Proceedings of the 18th Conference in Uncertainty in Artificial Intelligence, University of Alberta, Edmonton, Alberta, Canada, August 1-4, 2002

Nir Friedman, Adnan Darwiche, Adnan Darwiche, 2002, Conference on Uncertainty in Artificial Intelligence.

Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions

Guy Van den Broeck, Adnan Darwiche, Arthur Choi, 2015, IJCAI.

Inference in belief networks: A procedural guide

Adnan Darwiche, Cecil Huang, Adnan Darwiche, 1996, Int. J. Approx. Reason..

Plan simulation using Bayesian networks

Adnan Darwiche, Moises Goldszmidt, Adnan Darwiche, 1995, Proceedings the 11th Conference on Artificial Intelligence for Applications.

Utilizing Device Non-structural Properties in Structure-based Diagnosis

Adnan Darwiche, 2007 .

Compiling Devices: A Structure-Based Approach

Adnan Darwiche, Adnan Darwiche, 1998, KR.

Utilizing Knowledge-Base Semantics in Graph-Based Algorithms

Adnan Darwiche, Adnan Darwiche, 1996, AAAI/IAAI, Vol. 1.

Dynamic Texture Modeling

Stefano Soatto, Adnan Darwiche, Gianfranco Doretto, 2022 .

Human-level intelligence or animal-like abilities?

Adnan Darwiche, Adnan Darwiche, 2017, Commun. ACM.

Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data

Guy Van den Broeck, Judea Pearl, Adnan Darwiche, 2014, UAI.

EDML: A Method for Learning Parameters in Bayesian Networks pdf

Adnan Darwiche, Arthur Choi, Khaled S. Refaat, 2011, UAI.

Data Compression for Learning MRF Parameters

Adnan Darwiche, Khaled S. Refaat, Adnan Darwiche, 2015, IJCAI.

An Upper Bound on the Global Optimum in Parameter Estimation

Adnan Darwiche, Khaled S. Refaat, Adnan Darwiche, 2015, UAI.

On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI pdf

Pierre Marquis, Adnan Darwiche, Adnan Darwiche, 2021, J. Artif. Intell. Res..

A Knowledge Compilation Map

Pierre Marquis, Adnan Darwiche, Adnan Darwiche, 2002, J. Artif. Intell. Res..

Tractable Learning for Complex Probability Queries

Guy Van den Broeck, Adnan Darwiche, Arthur Choi, 2015, NIPS.

Compiling Bayesian Network Classifiers into Decision Graphs

Adnan Darwiche, Arthur Choi, Andy Shih, 2019, AAAI.

On probabilistic inference by weighted model counting

Adnan Darwiche, Mark Chavira, Adnan Darwiche, 2008, Artif. Intell..

A Lightweight Component Caching Scheme for Satisfiability Solvers

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2007, SAT.

The Language of Search pdf

A. Darwiche, J. Huang, Adnan Darwiche, 2007, J. Artif. Intell. Res..

Toward good elimination orders for symbolic SAT solving

Adnan Darwiche, Jinbo Huang, Adnan Darwiche, 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.

Open-world probabilistic databases: Semantics, algorithms, complexity

Guy Van den Broeck, Adnan Darwiche, Ismail Ilkan Ceylan, 2021, Artif. Intell..

Bayesian Networks

Adnan Darwiche, Adnan Darwiche, Adnan Darwiche, 2008, Handbook of Knowledge Representation.

Dynamic Jointrees

Adnan Darwiche, Adnan Darwiche, 1998, UAI.

Model-Based Diagnosis using Structured System Descriptions

Adnan Darwiche, Adnan Darwiche, 1998, J. Artif. Intell. Res..

Query DAGs: A practical paradigm for implementing belief-network inference

Gregory M. Provan, Adnan Darwiche, Adnan Darwiche, 1996, UAI.

Software health management with Bayesian networks

Ole J. Mengshoel, Johann Schumann, Ashok N. Srivastava, 2013, Innovations in Systems and Software Engineering.

Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study

Ole J. Mengshoel, Adnan Darwiche, Scott Poll, 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft

Ole J. Mengshoel, Adnan Darwiche, Scott Poll, 2008, AAAI.

Approximating MAP using Local Search pdf

Adnan Darwiche, James D. Park, Adnan Darwiche, 2001, UAI.

Complete Algorithms

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2021, Handbook of Satisfiability.

Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis

Adnan Darwiche, Knot Pipatsrisawat, Arthur Choi, 2008, J. Satisf. Boolean Model. Comput..

Clone: Solving Weighted Max-SAT in a Reduced Search Space

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2007, Australian Conference on Artificial Intelligence.

EDML for Learning Parameters in Directed and Undirected Graphical Models

Adnan Darwiche, Arthur Choi, Khaled S. Refaat, 2013, NIPS.

Model-Based Diagnosis under Real-World Constraints

Adnan Darwiche, Adnan Darwiche, 2000, AI Mag..

When do Numbers Really Matter?

Adnan Darwiche, Hei Chan, Adnan Darwiche, 2001, UAI.

On Tractable Representations of Binary Neural Networks pdf

Adnan Darwiche, Arthur Choi, Andy Shih, 2020, KR.

Dynamic Minimization of Sentential Decision Diagrams

Adnan Darwiche, Arthur Choi, Adnan Darwiche, 2013, AAAI.

New Compilation Languages Based on Structured Decomposability

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2008, AAAI.

Tractable Operations for Arithmetic Circuits of Probabilistic Models

Adnan Darwiche, Yujia Shen, Arthur Choi, 2016, NIPS.

Line Space

D. Geiger, R. Dechter, D. Galles, 2012 .

The Same-Decision Probability: A New Tool for Decision Making

Adnan Darwiche, Arthur Choi, Adnan Darwiche, 2012 .

On Recovering from Modeling Errors Using Testing Bayesian Networks

Adnan Darwiche, Haiying Huang, Adnan Darwiche, 2021, ICML.

Basing Decisions on Sentences in Decision Diagrams

Adnan Darwiche, Arthur Choi, Yexiang Xue, 2012, AAAI.

Compiling relational Bayesian networks for exact inference

Manfred Jaeger, Adnan Darwiche, Mark Chavira, 2006, Int. J. Approx. Reason..

Compiling Bayesian Networks with Local Structure

Adnan Darwiche, Mark Chavira, Adnan Darwiche, 2005, IJCAI.

Decomposable negation normal form

Adnan Darwiche, Adnan Darwiche, 2001, JACM.

An Advance on Variable Elimination with Applications to Tensor-Based Computation

Adnan Darwiche, 2020, ECAI.

Solving MAP Exactly using Systematic Search

Adnan Darwiche, James D. Park, Adnan Darwiche, 2002, UAI.

A Logical Approach to Factoring Belief Networks

Adnan Darwiche, Adnan Darwiche, 2002, KR.

An Exact Algorithm for Computing the Same-Decision Probability

Adnan Darwiche, Arthur Choi, Suming Jeremiah Chen, 2013, IJCAI.

On Compiling DNNFs without Determinism pdf

Umut Oztok, Adnan Darwiche, Adnan Darwiche, 2017, ArXiv.

DPLL with a Trace: From SAT to Knowledge Compilation

Adnan Darwiche, Jinbo Huang, Adnan Darwiche, 2005, IJCAI.

New Advances in Compiling CNF into Decomposable Negation Normal Form

Adnan Darwiche, Adnan Darwiche, 2004, ECAI.

On the Robustness of Most Probable Explanations pdf

Adnan Darwiche, Hei Chan, Adnan Darwiche, 2006, UAI.

Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters pdf

Adnan Darwiche, Hei Chan, Adnan Darwiche, 2004, UAI.

Learning Bayesian Networks under Equivalence Constraints (Abstract)

Adnan Darwiche, Arthur Choi, Tiansheng Yao, 2013, AAAI 2013.

Logic for Explainable AI

Adnan Darwiche, 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

A New Class of Explanations for Classifiers with Non-Binary Features

Adnan Darwiche, Chunxi Ji, 2023, ArXiv.

On The Reasons Behind Decisions

Adnan Darwiche, Auguste Hirth, 2020, ECAI.

On Symbolically Encoding the Behavior of Random Forests pdf

Adnan Darwiche, Arthur Choi, Andy Shih, 2020, ArXiv.

Reasoning about Bayesian Network Classifiers pdf

Adnan Darwiche, Hei Chan, Adnan Darwiche, 2002, UAI.

Enumerating Equivalence Classes of Bayesian Networks using EC Graphs

Adnan Darwiche, Eunice Yuh-Jie Chen, Arthur Choi, 2016, AISTATS.

On the Computation of Necessary and Sufficient Explanations

Adnan Darwiche, Chunxi Ji, 2022, AAAI.

Formal Verification of Bayesian Network Classifiers

Adnan Darwiche, Arthur Choi, Andy Shih, 2018, PGM.

On the Role of Canonicity in Knowledge Compilation

Guy Van den Broeck, Adnan Darwiche, Adnan Darwiche, 2015, AAAI.

On pruning with the MDL Score

Adnan Darwiche, Eunice Yuh-Jie Chen, Arthur Choi, 2016, Int. J. Approx. Reason..

Learning Bayesian networks with ancestral constraints

Adnan Darwiche, Eunice Yuh-Jie Chen, Yujia Shen, 2016, NIPS.

On Modern Clause-Learning Satisfiability Solvers

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2010, Journal of Automated Reasoning.

On the Complexity of Counterfactual Reasoning

Adnan Darwiche, Yizuo Chen, Yunqiu Han, 2022, IJCAI.

Towards software health management with bayesian networks

Ole J. Mengshoel, Johann Schumann, Ashok N. Srivastava, 2010, FoSER '10.

Open World Probabilistic Databases (Extended Abstract)

Guy Van den Broeck, Adnan Darwiche, Ismail Ilkan Ceylan, 2016, Description Logics.

Verifying Binarized Neural Networks by Angluin-Style Learning

Adnan Darwiche, Arthur Choi, Andy Shih, 2019, SAT.

Causal Inference Using Tractable Circuits

Adnan Darwiche, 2022, ArXiv.

Same-decision probability: A confidence measure for threshold-based decisions

Adnan Darwiche, Arthur Choi, Yexiang Xue, 2012, Int. J. Approx. Reason..

Complexity Results and Approximation Strategies for MAP Explanations

A. Darwiche, J. D. Park, Adnan Darwiche, 2011, J. Artif. Intell. Res..

Relax, Compensate and Then Recover

Adnan Darwiche, Arthur Choi, Adnan Darwiche, 2010, JSAI-isAI Workshops.

RC_Link: Genetic linkage analysis using Bayesian networks

David Allen, Adnan Darwiche, Adnan Darwiche, 2008, Int. J. Approx. Reason..

Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks pdf

Adnan Darwiche, Arthur Choi, Mark Chavira, 2007, UAI.

Solving MAP Exactly by Searching on Compiled Arithmetic Circuits

Adnan Darwiche, Jinbo Huang, Mark Chavira, 2006, AAAI.

An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality

Adnan Darwiche, Arthur Choi, Adnan Darwiche, 2006, AAAI.

A Variational Approach for Approximating Bayesian Networks by Edge Deletion pdf

Adnan Darwiche, Arthur Choi, Adnan Darwiche, 2006, UAI.

On Bayesian Network Approximation by Edge Deletion pdf

Adnan Darwiche, Arthur Choi, Hei Chan, 2005, UAI.

Optimal Time-Space Tradeoff in Probabilistic Inference

David Allen, Adnan Darwiche, Adnan Darwiche, 2003, Probabilistic Graphical Models.

New Advances in Inference by Recursive Conditioning pdf

David Allen, Adnan Darwiche, Adnan Darwiche, 2002, UAI.

Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees

Mark Hopkins, Adnan Darwiche, Adnan Darwiche, 2001, ECSQARU.

Constant-space reasoning in dynamic Bayesian networks

Adnan Darwiche, Adnan Darwiche, 2001, Int. J. Approx. Reason..

Any-Space Probabilistic Inference

Adnan Darwiche, Adnan Darwiche, 2000, UAI.

On the definition and computation of causal treewidth

Adnan Darwiche, Yizuo Chen, 2022, UAI.

A Tutorial on Bayesian Networks for System Health Management

Ole J. Mengshoel, Lu Zheng, Adnan Darwiche, 2011 .

An Edge Deletion Semantics for Belief Propagation

Adnan Darwiche, Arthur Choi, Adnan Darwiche, 2009 .

Focusing Generalizations of Belief Propagation on Targeted Queries

Adnan Darwiche, Arthur Choi, Adnan Darwiche, 2008, AAAI.

A Greedy Algorithm for Time – Space Tradeoff in Probabilistic Inference

Adnan Darwiche, Adnan Darwiche, David Allen, 2004 .

An Algorithm and Complexity Results for Causal Unit Selection

Adnan Darwiche, Haiying Huang, 2023, CLeaR.

A Standard Approach for Optimizing Belief Network Inference Using Query DAGs pdf

Gregory M. Provan, Adnan Darwiche, Adnan Darwiche, 1997, UAI.

Structured Features in Naive Bayes Classification

Adnan Darwiche, Arthur Choi, Nazgol Tavabi, 2016, AAAI.

Conditioning Algorithms for Exact and Approximate Inference in Causal Networks

Adnan Darwiche, Adnan Darwiche, 1995, UAI.

Electronic Theses and Dissertations

Adnan Darwiche, D. Heckerman, R. Korf, 2014 .

Compiling propositional weighted bases

Pierre Marquis, Adnan Darwiche, Adnan Darwiche, 2004, Artif. Intell..

On the power of clause-learning SAT solvers as resolution engines

Adnan Darwiche, Knot Pipatsrisawat, Adnan Darwiche, 2011, Artif. Intell..

A Symbolic Generalization of Probability Theory

Matthew L. Ginsberg, Adnan Darwiche, Adnan Darwiche, 1992, AAAI.

BIOINFORMATICS Optimal algorithms for haplotype assembly from whole-genome sequence data

Adnan Darwiche, E. Eskin, Dan He, 2010 .

Tractable Boolean and Arithmetic Circuits

Adnan Darwiche, 2022, ArXiv.

A compiler for deterministic, decomposable negation normal form

Adnan Darwiche, Adnan Darwiche, 2002, AAAI/IAAI.

A Perspective on Knowledge Compilation

Pierre Marquis, Adnan Darwiche, Adnan Darwiche, 2001, IJCAI.

Software health management with Bayesian networks

Adnan Darwiche, O. Mengshoel, Knot Pipatsrisawat, 2013, Innovations in Systems and Software Engineering.

Learning Bayesian network parameters under equivalence constraints

Adnan Darwiche, Arthur Choi, Tiansheng Yao, 2017, Artif. Intell..

Optimal Feature Selection for Decision Robustness in Bayesian Networks

Guy Van den Broeck, Adnan Darwiche, YooJung Choi, 2017, IJCAI.

On probabilistic inference by weighted model counting

Adnan Darwiche, M. Chavira, 2008, Artif. Intell..