Adnan Darwiche

发表

A differential approach to inference in Bayesian networks pdf

Adnan Darwiche, Adnan Darwiche, 2000, JACM.

Solving MAP Exactly using Systematic Search

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

Learning Bayesian networks with ancestral constraints

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

A Lightweight Component Caching Scheme for Satisfiability Solvers

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

Uncertainty in artificial intelligence : proceedings of the Eighteenth Conference (2002) : August 1-4, 2002, University of Alberta, Edmonton

Nir Friedman, Daphne Koller, Adnan Darwiche, 2002 .

Formal Verification of Bayesian Network Classifiers

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

On Compiling System Models for Faster and More Scalable Diagnosis

Adnan Darwiche, Jinbo Huang, 2005, AAAI.

RC_Link: Genetic linkage analysis using Bayesian networks

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

New Advances in Structure-Based Diagnosis: A Method for Compiling Devices

Adnan Darwiche, 1997 .

Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations

Adnan Darwiche, Arthur Choi, 2008, AAAI.

Value of Information Based on Decision Robustness

Adnan Darwiche, Arthur Choi, Suming Jeremiah Chen, 2015, AAAI.

Compiling Bayesian Networks Using Variable Elimination

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

Special Track on Continuous Planning

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

Automated explanation generation in graphical models

Adnan Darwiche, James D. Park, 2003 .

Approximating Weighted Max-SAT Problems by Compensating for Relaxations

Adnan Darwiche, Arthur Choi, Trevor Scott Standley, 2009, CP.

Exploiting Evidence in Probabilistic Inference pdf

David Allen, Adnan Darwiche, Mark Chavira, 2005, UAI.

On Symbolically Encoding the Behavior of Random Forests pdf

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

An Upper Bound on the Global Optimum in Parameter Estimation

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

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

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

Algorithms and Applications for the Same-Decision Probability

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

Dual Decomposition from the Perspective of Relax, Compensate and then Recover pdf

Adnan Darwiche, Arthur Choi, 2015, ArXiv.

Approximating MAP using Local Search pdf

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

CV-width: A New Complexity Parameter for CNFs

Umut Oztok, Adnan Darwiche, 2014, ECAI.

A Symbolic Approach to Explaining Bayesian Network Classifiers

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

Rsat 3.01: Solver Description

Adnan Darwiche, Knot Pipatsrisawat, 2008 .

7 Inference in Bayesian Networks : A Historical Perspective

Adnan Darwiche, Adnan Darwiche, 2009 .

Verifying Binarized Neural Networks by Angluin-Style Learning

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

Probabilistic Sentential Decision Diagrams

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

Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference

Adnan Darwiche, 2010, JELIA.

On the Logic of Iterated Belief Revision

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

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.

Tractable Knowledge Representation Formalisms

Adnan Darwiche, 2014, Tractability.

Compiling Bayesian Networks with Local Structure

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

Structured Bayesian Networks: From Inference to Learning with Routes

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

Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation

Adnan Darwiche, 2006, IJCAR.

Complete Algorithms

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

Learning Bayesian Networks under Equivalence Constraints (Abstract)

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

Model-Based Diagnosis using Structured System Descriptions

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

A Perspective on Knowledge Compilation

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

On the Robustness of Most Probable Explanations pdf

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

New Compilation Languages Based on Structured Decomposability

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

On Modern Clause-Learning Satisfiability Solvers

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

Bayesian Networks

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

On the Revision of Probabilistic Beliefs using Uncertain Evidence

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

Toward good elimination orders for symbolic SAT solving

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

An Edge Deletion Semantics for Belief Propagation

Adnan Darwiche, Arthur Choi, Adnan Darwiche, 2009 .

A New Clause Learning Scheme for Efficient Unsatisfiability Proofs

Adnan Darwiche, Knot Pipatsrisawat, 2008, AAAI.

Compilation of propositional weighted bases

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

Integrated diagnostic system and method

Adnan Darwiche, Gregory Provan, Adnan Darwiche, 2001 .

A distance measure for bounding probabilistic belief change

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

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..

Morphing the Hugin and Shenoy-Shafer Architectures

Adnan Darwiche, James D. Park, 2003, ECSQARU.

A Lower Bound on the Size of Decomposable Negation Normal Form

Adnan Darwiche, Thammanit Pipatsrisawat, 2010, AAAI.

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

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

Approximating MAP by Compensating for Structural Relaxations

Adnan Darwiche, Arthur Choi, 2009, NIPS.

Modeling and Reasoning with Bayesian Networks: Sensitivity Analysis

Adnan Darwiche, Adnan Darwiche, 2009 .

Learning: The Bayesian Approach

Adnan Darwiche, Adnan Darwiche, 2009 .

A Top-Down Compiler for Sentential Decision Diagrams

Umut Oztok, Adnan Darwiche, 2015, IJCAI.

Compiling relational Bayesian networks for exact inference - eScholarship

Manfred Jaeger, Adnan Darwiche, M D Chavira, 2006 .

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

Adnan Darwiche, 2020, ECAI.

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.

Dynamic Minimization of Sentential Decision Diagrams

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

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

Adnan Darwiche, Adnan Darwiche, 2007 .

Using DPLL for Efficient OBDD Construction

Adnan Darwiche, Jinbo Huang, 2004, SAT.

On the Relation between Kappa Calculus and Probabilistic Reasoning

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

Towards software health management with bayesian networks

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

Software Health Management with Bayesian Networks

Ole J. Mengshoel, Johann Schumann, Ashok N. Srivastava, 2011 .

Width-Based Restart Policies for Clause-Learning Satisfiability Solvers

Adnan Darwiche, Knot Pipatsrisawat, 2009, SAT.

EDML for Learning Parameters in Directed and Undirected Graphical Models

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

Sensitivity Analysis in Markov Networks

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

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

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

When do Numbers Really Matter?

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

A Variational Approach for Approximating Bayesian Networks by Edge Deletion pdf

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

Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft

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

Reports of the 2016 AAAI Workshop Program

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

Evaluating probabilistic reasoning systems

Rina Dechter, Adnan Darwiche, 2008, BMA.

Open World Probabilistic Databases (Extended Abstract)

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

Model-Based Diagnosis using Causal Networks

Adnan Darwiche, 1995, IJCAI.

Tractable Learning for Complex Probability Queries

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

A Structure-Based Variable Ordering Heuristic for SAT

Adnan Darwiche, Jinbo Huang, 2003, IJCAI.

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

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

On the Role of Canonicity in Bottom-up Knowledge Compilation pdf

Guy Van den Broeck, Adnan Darwiche, 2014, ArXiv.

Compiling Devices: A Structure-Based Approach

Adnan Darwiche, Adnan Darwiche, 1998, KR.

Recursive conditioning

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

The Effect of Observations on the Complexity of Model-Based Diagnosis

Gregory M. Provan, Adnan Darwiche, 1997, AAAI/IAAI.

Compiling relational Bayesian networks for exact inference

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

A Practical Relaxation of Constant-Factor Treewidth Approximation Algorithms

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

New Advances in Inference by Recursive Conditioning pdf

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

An Exact Algorithm for Computing the Same-Decision Probability

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

Focusing Generalizations of Belief Propagation on Targeted Queries

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

ISWHM: Tools and Techniques for Software and System Health Management

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

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.

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

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

Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams

Adnan Darwiche, Arthur Choi, Doga Kisa, 2013, ECSQARU.

Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies

Adnan Darwiche, Yuliya Zabiyaka, 2006, SAT.

USING DATABASE SPECIFICATIONS TO AUTOMATE THE DIAGNOSIS OF FACTORY AUTOMATION SYSTEMS

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

Probabilistic sentential decision diagrams: Learning with massive logical constraints

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

Structured Features in Naive Bayes Classification

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

Compiling Knowledge into Decomposable Negation Normal Form

Adnan Darwiche, 1999, IJCAI.

Computer Adaptive Testing Using the Same-Decision Probability

Adnan Darwiche, Arthur Choi, Suming Jeremiah Chen, 2015, BMA@UAI.

Relax, Compensate and Then Recover

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

Learning Bayesian network parameters under equivalence constraints

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

Enumerating Equivalence Classes of Bayesian Networks using EC Graphs

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

On Compiling DNNFs without Determinism pdf

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

On Tractable Representations of Binary Neural Networks pdf

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

Proceedings of the Eighteenth Conference on Uncertainty in Artificial Intelligence (2002) pdf

Nir Friedman, Adnan Darwiche, 2013, ArXiv.

RSat 2.0: SAT Solver Description

Adnan Darwiche, Knot Pipatsrisawat, 2006 .

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

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

On Bayesian Network Approximation by Edge Deletion pdf

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

Tractable Operations for Arithmetic Circuits of Probabilistic Models

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

Open World Probabilistic Databases (Extended Abstract)

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

Decomposable negation normal form

Adnan Darwiche, Adnan Darwiche, 2001, JACM.

Conditioning Methods for Exact and Approximate Inference in Causal Networks pdf

Adnan Darwiche, 1995, UAI 1995.

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.

Preface: The Beyond NP Workshop

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

New Advances and Theoretical Insights into EDML

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

Optimal algorithms for haplotype assembly from whole-genome sequence data

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

On pruning with the MDL Score

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

Lifted inference for probabilistic logic programs

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

Modeling and Reasoning with Bayesian Networks: Preface

Adnan Darwiche, Adnan Darwiche, 2009 .

Plan simulation using Bayesian networks

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

A Knowledge Compilation Map

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

Generalized Decision Diagrams: The game is not over yet!

Adnan Darwiche, 2012, ECAI.

A Logical Approach to Factoring Belief Networks

Adnan Darwiche, Adnan Darwiche, 2002, KR.

On The Reasons Behind Decisions pdf

Adnan Darwiche, Auguste Hirth, 2020, ECAI.

Modeling and Reasoning with Bayesian Networks

Adnan Darwiche, Adnan Darwiche, 2009 .

A differential semantics for jointree algorithms

Adnan Darwiche, James D. Park, 2002, Artif. Intell..

On probabilistic inference by weighted model counting

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

Learning Bayesian Networks with Non-Decomposable Scores

Adnan Darwiche, Eunice Yuh-Jie Chen, Arthur Choi, 2015, GKR.

Decomposing Parameter Estimation Problems

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

Three Modern Roles for Logic in AI

Adnan Darwiche, Adnan Darwiche, 2020, PODS.

Tractability in Structured Probability Spaces

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

A Logical Notion of Conditional Independence: Properties and Application

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

Constant-space reasoning in dynamic Bayesian networks

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

A Symbolic Generalization of Probability Theory

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

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

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

Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)

Dan Suciu, Stefan Szeider, Pierre Marquis, 2017, Dagstuhl Reports.

Inference by Conditioning

Adnan Darwiche, Adnan Darwiche, 2009 .

Models for Graph Decomposition

Adnan Darwiche, Adnan Darwiche, 2009 .

On the tractable counting of theory models and its application to belief revision and truth maintenance

Adnan Darwiche, 2000, ArXiv.

Utilizing Knowledge-Base Semantics in Graph-Based Algorithms

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

An Exhaustive DPLL Algorithm for Model Counting

Umut Oztok, Adnan Darwiche, 2018, J. Artif. Intell. Res..

Objection-Based Causal Networks pdf

Adnan Darwiche, 1992, UAI 1992.

Encoding CNFs to Empower Component Analysis

Adnan Darwiche, Mark Chavira, 2006, SAT.

Probability Distributions over Structured Spaces

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

A Tutorial on Bayesian Networks for System Health Management

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

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

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

On the Relative Expressiveness of Bayesian and Neural Networks

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

Reasoning about Bayesian Network Classifiers pdf

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

Optimal Time-Space Tradeoff in Probabilistic Inference

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

Efficient Genome Wide Tagging by Reduction to SAT

Eleazar Eskin, Buhm Han, Adnan Darwiche, 2008, WABI.

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.

DPLL with a Trace: From SAT to Knowledge Compilation

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

Inference in belief networks: A procedural guide

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

A compiler for deterministic, decomposable negation normal form

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

Sensor Validation using Bayesian Networks

Ole J. Mengshoel, Adnan Darwiche, Serdar Uckun, 2008 .

On Relaxing Determinism in Arithmetic Circuits pdf

Adnan Darwiche, Arthur Choi, 2017, ICML.

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 .

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

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

New Advances in Compiling CNF into Decomposable Negation Normal Form

Adnan Darwiche, Adnan Darwiche, 2004, ECAI.

Optimal Feature Selection for Decision Robustness in Bayesian Networks

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

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

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

Compiling propositional weighted bases

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

Compiling Bayesian Network Classifiers into Decision Graphs

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

Decision-Theory For Crisis Management.

Adnan Darwiche, David Smith, Moises Goldszmidt, 1994 .

Solving PPPP-Complete Problems Using Knowledge Compilation

Umut Oztok, Adnan Darwiche, Arthur Choi, 2016, KR.

Building Bayesian Networks

Adnan Darwiche, Adnan Darwiche, 2009 .

Objection-based Causal Exception Networks

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

On the Role of Canonicity in Knowledge Compilation

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

Approximating the Partition Function by Deleting and then Correcting for Model Edges pdf

Adnan Darwiche, Arthur Choi, 2008, UAI.

Three Modern Roles for Logic in AI

Adnan Darwiche, Adnan Darwiche, 2020, PODS.

Reports from the 2015 AAAI Workshop Program

Bruno Bouchard, Parisa Kordjamshidi, Enrico Pontelli, 2015, AI Mag..

Basing Decisions on Sentences in Decision Diagrams

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

Conditional Independence in Testing Bayesian Networks

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

Data Compression for Learning MRF Parameters

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

Solving MAP Exactly by Searching on Compiled Arithmetic Circuits

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

Approximate Inference by Belief Propagation

Adnan Darwiche, 2009 .

EDML: A Method for Learning Parameters in Bayesian Networks pdf

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

Argument Calculus and Networks pdf

Adnan Darwiche, 1993, UAI.

Probabilistic Sensitivity Analysis for Situation Awareness

Adnan Darwiche, 2008 .

Software Health Management: A Short Review of Challenges and Existing Techniques

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

Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations

Blai Bonet, Hector Geffner, Héctor Palacios, 2005, ICAPS.

Dynamic Jointrees

Adnan Darwiche, Adnan Darwiche, 1998, UAI.

Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data

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

A Tractable Probabilistic Model for Subset Selection

Adnan Darwiche, Yujia Shen, Arthur Choi, 2017, UAI.

Bayesian networks

Adnan Darwiche, 2010, Commun. ACM.

On Tractability and Hypertree Width

Adnan Darwiche, Yuliya Zabiyaka, 2007 .

Model-Based Diagnosis under Real-World Constraints

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

A New Perspective on Learning Context-Specific Independence pdf

Adnan Darwiche, Yujia Shen, Arthur Choi, 2020, ArXiv.

Human-level intelligence or animal-like abilities?

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

Any-Space Probabilistic Inference

Adnan Darwiche, Adnan Darwiche, 2000, UAI.

On the Power of Clause-Learning SAT Solvers with Restarts

Adnan Darwiche, Knot Pipatsrisawat, 2009, CP.

On Compiling CNF into Decision-DNNF

Umut Oztok, Adnan Darwiche, 2014, CP.

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

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

Utilizing Device Behavior in Structure-Based Diagnosis

Adnan Darwiche, 1999, IJCAI.

Open-World Probabilistic Databases: An Abridged Report

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

On Decomposability and Interaction Functions

Adnan Darwiche, Knot Pipatsrisawat, 2010, ECAI.

Compiling Bayesian Networks

Adnan Darwiche, Adnan Darwiche, 2009 .

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

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

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

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

Conditioning Algorithms for Exact and Approximate Inference in Causal Networks

Adnan Darwiche, Adnan Darwiche, 1995, UAI.

Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications

Adnan Darwiche, Knot Pipatsrisawat, 2010, ECAI.

Lifted Generalized Belief Propagation: Relax, Compensate and Recover

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

On Recovering from Modeling Errors Using Testing Bayesian Networks

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

Lifted Aggregation and Skolemization for Directed Models

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

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

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

Chapter 3. Complete Algorithms

Adnan Darwiche, Knot Pipatsrisawat, 2021 .

Open-world probabilistic databases: Semantics, algorithms, complexity

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

A Greedy Algorithm for Time – Space Tradeoff in Probabilistic Inference

Adnan Darwiche, Adnan Darwiche, David Allen, 2004 .

Reasoning with propositional knowledge: frameworks for boolean satisfiability and knowledge compilation

Adnan Darwiche, Thammanit Pipatsrisawat, 2010 .

Dynamic Texture Modeling

Stefano Soatto, Adnan Darwiche, Gianfranco Doretto, 2022 .

A Symbolic Generalization eory

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

Testing Equivalence Probabilistically

Adnan Darwiche, Jinbo Huang, 2002 .

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

Adnan Darwiche, Arthur Choi, Adnan Darwiche, 2012 .

SAT Solver Description : Rsat

Adnan Darwiche, Thammanit Pipatsrisawat, 2006 .

Relax then compensate: on max-product belief propagation and more

Adnan Darwiche, Arthur Choi, 2009, NIPS 2009.