OARPLAN: Generating project plans by reasoning about objects, actions and resources. - Adnan Darwiche; Raymond E. Levitt; Barbara Hayes-Roth (Artif. Intell. Eng. Des. Anal. Manuf., 1988)

A Symbolic Generalization of Probability Theory. - Adnan Darwiche; Matthew L. Ginsberg (AAAI, 1992)

Objection-based Causal Exception Networks. - Adnan Darwiche (UAI, 1992)

Argument Calculus and Networks. - Adnan Darwiche (UAI, 1993)

Symbolic Causal Networks. - Adnan Darwiche; Judea Pearl (AAAI, 1994)

Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty. - Adnan Darwiche; Moisés Goldszmidt (UAI, 1994)

On the Relation between Kappa Calculus and Probabilistic Reasoning. - Adnan Darwiche; Moisés Goldszmidt (UAI, 1994)

Model-Based Diagnosis using Causal Networks. - Adnan Darwiche (IJCAI, 1995)

Conditioning Algorithms for Exact and Approximate Inference in Causal Networks. - Adnan Darwiche (UAI, 1995)

Utilizing Knowledge-Base Semantics in Graph-Based Algorithms. - Adnan Darwiche (AAAI/IAAI, Vol. 1, 1996)

Inference in belief networks: A procedural guide. - Cecil Huang; Adnan Darwiche (Int. J. Approx. Reason., 1996)

The Effect of Observations on the Complexity of Model-Based Diagnosis. - Adnan Darwiche; Gregory M. Provan (AAAI/IAAI, 1997)

A Standard Approach for Optimizing Belief Network Inference Using Query DAGs. - Adnan Darwiche; Gregory M. Provan (UAI, 1997)

A Logical Notion of Conditional Independence: Properties and Application. - Adnan Darwiche (Artif. Intell., 1997)

On the Logic of Iterated Belief Revision. - Adnan Darwiche; Judea Pearl (Artif. Intell., 1997)

Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference. - Adnan Darwiche; Gregory M. Provan (J. Artif. Intell. Res., 1997)

Compiling Devices: A Structure-Based Approach. - Adnan Darwiche (KR, 1998)

Dynamic Jointrees. - Adnan Darwiche (UAI, 1998)

Model-Based Diagnosis using Structured System Descriptions. - Adnan Darwiche (J. Artif. Intell. Res., 1998)

Compiling Knowledge into Decomposable Negation Normal Form. - Adnan Darwiche (IJCAI, 1999)

Utilizing Device Behavior in Structure-Based Diagnosis. - Adnan Darwiche (IJCAI, 1999)

Any-Space Probabilistic Inference. - Adnan Darwiche (UAI, 2000)

Model-Based Diagnosis under Real-World Constraints. - Adnan Darwiche (AI Mag., 2000)

On the tractable counting of theory models and its application to belief revision and truth maintenance - Adnan Darwiche (CoRR, 2000)

Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees. - Adnan Darwiche; Mark Hopkins (ECSQARU, 2001)

A Perspective on Knowledge Compilation. - Adnan Darwiche; Pierre Marquis (IJCAI, 2001)

Approximating MAP using Local Search. - James D. Park; Adnan Darwiche (UAI, 2001)

Recursive conditioning. - Adnan Darwiche (Artif. Intell., 2001)

Constant-space reasoning in dynamic Bayesian networks. - Adnan Darwiche (Int. J. Approx. Reason., 2001)

Decomposable negation normal form. - Adnan Darwiche (J. ACM, 2001)

On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision. - Adnan Darwiche (J. Appl. Non Class. Logics, 2001)

A Compiler for Deterministic, Decomposable Negation Normal Form. - Adnan Darwiche (AAAI/IAAI, 2002)

A Logical Approach to Factoring Belief Networks. - Adnan Darwiche (KR, 2002)

Compilation of propositional weighted bases. - Adnan Darwiche; Pierre Marquis (NMR, 2002)

A Practical Relaxation of Constant-Factor Treewidth Approximation Algorithms. - Mark Hopkins; Adnan Darwiche (Probabilistic Graphical Models, 2002)

When do Numbers Really Matter? - Hei Chan; Adnan Darwiche (J. Artif. Intell. Res., 2002)

A Knowledge Compilation Map. - Adnan Darwiche; Pierre Marquis (J. Artif. Intell. Res., 2002)

Morphing the Hugin and Shenoy-Shafer Architectures. - James D. Park; Adnan Darwiche (ECSQARU, 2003)

Optimal Time-Space Tradeoff in Probabilistic Inference. - David Allen; Adnan Darwiche (IJCAI, 2003)

A Structure-Based Variable Ordering Heuristic for SAT. - Jinbo Huang; Adnan Darwiche (IJCAI, 2003)

New Advances in Inference by Recursive Conditioning. - David Allen; Adnan Darwiche (UAI, 2003)

Reasoning about Bayesian Network Classifiers. - Hei Chan; Adnan Darwiche (UAI, 2003)

Solving MAP Exactly using Systematic Search. - James D. Park; Adnan Darwiche (UAI, 2003)

A differential approach to inference in Bayesian networks. - Adnan Darwiche (J. ACM, 2003)

New Advances in Compiling CNF into Decomposable Negation Normal Form. - Adnan Darwiche (ECAI, 2004)

Toward Good Elimination Orders for Symbolic SAT Solving. - Jinbo Huang; Adnan Darwiche (ICTAI, 2004)

Using DPLL for Efficient OBDD Construction. - Jinbo Huang; Adnan Darwiche (SAT (Selected Papers, 2004)

Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters. - Hei Chan; Adnan Darwiche (UAI, 2004)

Compiling propositional weighted bases. - Adnan Darwiche; Pierre Marquis (Artif. Intell., 2004)

A differential semantics for jointree algorithms. - James D. Park; Adnan Darwiche (Artif. Intell., 2004)

Complexity Results and Approximation Strategies for MAP Explanations. - James D. Park; Adnan Darwiche (J. Artif. Intell. Res., 2004)

On Compiling System Models for Faster and More Scalable Diagnosis. - Jinbo Huang; Adnan Darwiche (AAAI, 2005)

Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations. - Héctor Palacios; Blai Bonet; Adnan Darwiche; Hector Geffner (ICAPS, 2005)

Sensitivity Analysis in Markov Networks. - Hei Chan; Adnan Darwiche (IJCAI, 2005)

Compiling Bayesian Networks with Local Structure. - Mark Chavira; Adnan Darwiche (IJCAI, 2005)

DPLL with a Trace: From SAT to Knowledge Compilation. - Jinbo Huang; Adnan Darwiche (IJCAI, 2005)

Exploiting Evidence in Probabilistic Inference. - Mark Chavira; David Allen; Adnan Darwiche (UAI, 2005)

On Bayesian Network Approximation by Edge Deletion. - Adnan Darwiche; Hei Chan; Arthur Choi (UAI, 2005)

On the revision of probabilistic beliefs using uncertain evidence. - Hei Chan; Adnan Darwiche (Artif. Intell., 2005)

A distance measure for bounding probabilistic belief change. - Hei Chan; Adnan Darwiche (Int. J. Approx. Reason., 2005)

An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality. - Arthur Choi; Adnan Darwiche (AAAI, 2006)

Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. - Jinbo Huang; Mark Chavira; Adnan Darwiche (AAAI, 2006)

Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation. - Adnan Darwiche (IJCAR, 2006)

Encoding CNFs to Empower Component Analysis. - Mark Chavira; Adnan Darwiche (SAT, 2006)

Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies. - Yuliya Zabiyaka; Adnan Darwiche (SAT, 2006)

On the Robustness of Most Probable Explanations. - Hei Chan; Adnan Darwiche (UAI, 2006)

A Variational Approach for Approximating Bayesian Networks by Edge Deletion. - Arthur Choi; Adnan Darwiche (UAI, 2006)

Compiling relational Bayesian networks for exact inference. - Mark Chavira; Adnan Darwiche; Manfred Jaeger (Int. J. Approx. Reason., 2006)

Clone: Solving Weighted Max-SAT in a Reduced Search Space. - Knot Pipatsrisawat; Adnan Darwiche (Australian Conference on Artificial Intelligence, 2007)

Compiling Bayesian Networks Using Variable Elimination. - Mark Chavira; Adnan Darwiche (IJCAI, 2007)

A Lightweight Component Caching Scheme for Satisfiability Solvers. - Knot Pipatsrisawat; Adnan Darwiche (SAT, 2007)

Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. - Arthur Choi; Mark Chavira; Adnan Darwiche (UAI, 2007)

The Language of Search. - Jinbo Huang; Adnan Darwiche (J. Artif. Intell. Res., 2007)

Focusing Generalizations of Belief Propagation on Targeted Queries. - Arthur Choi; Adnan Darwiche (AAAI, 2008)

Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations. - Arthur Choi; Adnan Darwiche (AAAI, 2008)

Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft. - Ole J. Mengshoel; Adnan Darwiche; Keith Cascio; Mark Chavira; Scott Poll; N. Serdar Uckun (AAAI, 2008)

New Compilation Languages Based on Structured Decomposability. - Knot Pipatsrisawat; Adnan Darwiche (AAAI, 2008)

A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. - Knot Pipatsrisawat; Adnan Darwiche (AAAI, 2008)

Approximating the Partition Function by Deleting and then Correcting for Model Edges. - Arthur Choi; Adnan Darwiche (UAI, 2008)

Evaluating probabilistic reasoning systems. - Adnan Darwiche; Rina Dechter (BMA, 2008)

Efficient Genome Wide Tagging by Reduction to SAT. - Arthur Choi; Noah Zaitlen; Buhm Han; Knot Pipatsrisawat; Adnan Darwiche; Eleazar Eskin (WABI, 2008)

On probabilistic inference by weighted model counting. - Mark Chavira; Adnan Darwiche (Artif. Intell., 2008)

RC_Link: Genetic linkage analysis using Bayesian networks. - David Allen; Adnan Darwiche (Int. J. Approx. Reason., 2008)

Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis. - Knot Pipatsrisawat; Akop Palyan; Mark Chavira; Arthur Choi; Adnan Darwiche (J. Satisf. Boolean Model. Comput., 2008)

Bayesian Networks. - Adnan Darwiche (Handbook of Knowledge Representation, 2008)

Modeling and Reasoning with Bayesian Networks. - Adnan Darwiche (Cambridge University Press, 2009)

Approximating Weighted Max-SAT Problems by Compensating for Relaxations. - Arthur Choi; Trevor Standley; Adnan Darwiche (CP, 2009)

On the Power of Clause-Learning SAT Solvers with Restarts. - Knot Pipatsrisawat; Adnan Darwiche (CP, 2009)

A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT. - Knot Pipatsrisawat; Adnan Darwiche (IJCAI, 2009)

Approximating MAP by Compensating for Structural Relaxations. - Arthur Choi; Adnan Darwiche (NIPS, 2009)

Width-Based Restart Policies for Clause-Learning Satisfiability Solvers. - Knot Pipatsrisawat; Adnan Darwiche (SAT, 2009)

Complete Algorithms. - Adnan Darwiche; Knot Pipatsrisawat (Handbook of Satisfiability, 2009)

A Lower Bound on the Size of Decomposable Negation Normal Form. - Thammanit Pipatsrisawat; Adnan Darwiche (AAAI, 2010)

Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications. - Knot Pipatsrisawat; Adnan Darwiche (ECAI, 2010)

On Decomposability and Interaction Functions. - Knot Pipatsrisawat; Adnan Darwiche (ECAI, 2010)

Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference. - Adnan Darwiche (JELIA, 2010)

Relax, Compensate and Then Recover. - Arthur Choi; Adnan Darwiche (JSAI-isAI Workshops, 2010)

Towards software health management with bayesian networks. - Johann Schumann; Ole J. Mengshoel; Ashok N. Srivastava; Adnan Darwiche (FoSER, 2010)

Optimal algorithms for haplotype assembly from whole-genome sequence data. - Dan He 001; Arthur Choi; Knot Pipatsrisawat; Adnan Darwiche; Eleazar Eskin (Bioinform., 2010)

Bayesian networks. - Adnan Darwiche (Commun. ACM, 2010)

On Modern Clause-Learning Satisfiability Solvers. - Knot Pipatsrisawat; Adnan Darwiche (J. Autom. Reason., 2010)

Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study. - Ole J. Mengshoel; Mark Chavira; Keith Cascio; Scott Poll; Adnan Darwiche; N. Serdar Uckun (IEEE Trans. Syst. Man Cybern. Part A, 2010)

SDD: A New Canonical Representation of Propositional Knowledge Bases. - Adnan Darwiche (IJCAI, 2011)

EDML: A Method for Learning Parameters in Bayesian Networks. - Arthur Choi; Khaled S. Refaat; Adnan Darwiche (UAI, 2011)

On the power of clause-learning SAT solvers as resolution engines. - Knot Pipatsrisawat; Adnan Darwiche (Artif. Intell., 2011)

Basing Decisions on Sentences in Decision Diagrams. - Yexiang Xue; Arthur Choi; Adnan Darwiche (AAAI, 2012)

Generalized Decision Diagrams: The game is not over yet! - Adnan Darwiche (ECAI, 2012)

Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference. - Guy Van den Broeck; Arthur Choi; Adnan Darwiche (UAI, 2012)

New Advances and Theoretical Insights into EDML. - Khaled S. Refaat; Arthur Choi; Adnan Darwiche (UAI, 2012)

Same-decision probability: A confidence measure for threshold-based decisions. - Arthur Choi; Yexiang Xue; Adnan Darwiche (Int. J. Approx. Reason., 2012)

Dynamic Minimization of Sentential Decision Diagrams. - Arthur Choi; Adnan Darwiche (AAAI, 2013)

Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams. - Arthur Choi; Doga Kisa; Adnan Darwiche (ECSQARU, 2013)

An Exact Algorithm for Computing the Same-Decision Probability. - Suming Jeremiah Chen; Arthur Choi; Adnan Darwiche (IJCAI, 2013)

On the Complexity and Approximation of Binary Evidence in Lifted Inference. - Guy Van den Broeck; Adnan Darwiche (NIPS, 2013)

EDML for Learning Parameters in Directed and Undirected Graphical Models. - Khaled S. Refaat; Arthur Choi; Adnan Darwiche (NIPS, 2013)

Proceedings of the Eighteenth Conference on Uncertainty in Artificial Intelligence (2002) - Adnan Darwiche; Nir Friedman (CoRR, 2013)

Conditioning Methods for Exact and Approximate Inference in Causal Networks - Adnan Darwiche (CoRR, 2013)

Objection-Based Causal Networks - Adnan Darwiche (CoRR, 2013)

Software health management with Bayesian networks. - Johann Schumann; Timmy Mbaya; Ole J. Mengshoel; Knot Pipatsrisawat; Ashok N. Srivastava; Arthur Choi; Adnan Darwiche (Innov. Syst. Softw. Eng., 2013)

Tractable Knowledge Representation Formalisms. - Adnan Darwiche (Tractability, 2014)

On Compiling CNF into Decision-DNNF. - Umut Oztok; Adnan Darwiche (CP, 2014)

CV-width: A New Complexity Parameter for CNFs. - Umut Oztok; Adnan Darwiche (ECAI, 2014)

Skolemization for Weighted First-Order Model Counting. - Guy Van den Broeck; Wannes Meert; Adnan Darwiche (KR, 2014)

Probabilistic Sentential Decision Diagrams. - Doga Kisa; Guy Van den Broeck; Arthur Choi; Adnan Darwiche (KR, 2014)

Decomposing Parameter Estimation Problems. - Khaled S. Refaat; Arthur Choi; Adnan Darwiche (NIPS, 2014)

On the Role of Canonicity in Bottom-up Knowledge Compilation. - Guy Van den Broeck; Adnan Darwiche (CoRR, 2014)

Algorithms and Applications for the Same-Decision Probability. - Suming Jeremiah Chen; Arthur Choi; Adnan Darwiche (J. Artif. Intell. Res., 2014)

On the Role of Canonicity in Knowledge Compilation. - Guy Van den Broeck; Adnan Darwiche (AAAI, 2015)

Value of Information Based on Decision Robustness. - Suming Jeremiah Chen; Arthur Choi; Adnan Darwiche (AAAI, 2015)

Probability Distributions over Structured Spaces. - Arthur Choi; Guy Van den Broeck; Adnan Darwiche (AAAI Spring Symposia, 2015)

Learning Bayesian Networks with Non-Decomposable Scores. - Eunice Yuh-Jie Chen; Arthur Choi; Adnan Darwiche (GKR, 2015)

Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions. - Arthur Choi; Guy Van den Broeck; Adnan Darwiche (IJCAI, 2015)

A Top-Down Compiler for Sentential Decision Diagrams. - Umut Oztok; Adnan Darwiche (IJCAI, 2015)

Data Compression for Learning MRF Parameters. - Khaled S. Refaat; Adnan Darwiche (IJCAI, 2015)

Tractable Learning for Complex Probability Queries. - Jessa Bekker; Jesse Davis; Arthur Choi; Adnan Darwiche; Guy Van den Broeck (NIPS, 2015)

Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data. - Guy Van den Broeck; Karthika Mohan; Arthur Choi; Adnan Darwiche; Judea Pearl (UAI, 2015)

Computer Adaptive Testing Using the Same-Decision Probability. - Suming Jeremiah Chen; Arthur Choi; Adnan Darwiche (BMA@UAI, 2015)

An Upper Bound on the Global Optimum in Parameter Estimation. - Khaled S. Refaat; Adnan Darwiche (UAI, 2015)

Dual Decomposition from the Perspective of Relax, Compensate and then Recover. - Arthur Choi; Adnan Darwiche (CoRR, 2015)

Structured Features in Naive Bayes Classification. - Arthur Choi; Nazgol Tavabi; Adnan Darwiche (AAAI, 2016)

Preface: The Beyond NP Workshop. - Adnan Darwiche; João Marques-Silva 001; Pierre Marquis (AAAI Workshop: Beyond NP, 2016)

Enumerating Equivalence Classes of Bayesian Networks using EC Graphs. - Eunice Yuh-Jie Chen; Arthur Choi; Adnan Darwiche (AISTATS, 2016)

Open World Probabilistic Databases (Extended Abstract). - Ismail Ilkan Ceylan; Adnan Darwiche; Guy Van den Broeck (Description Logics, 2016)

Open-World Probabilistic Databases. - Ismail Ilkan Ceylan; Adnan Darwiche; Guy Van den Broeck (KR, 2016)

Solving PPPP-Complete Problems Using Knowledge Compilation. - Umut Oztok; Arthur Choi; Adnan Darwiche (KR, 2016)

Learning Bayesian networks with ancestral constraints. - Eunice Yuh-Jie Chen; Yujia Shen; Arthur Choi; Adnan Darwiche (NIPS, 2016)

Tractable Operations for Arithmetic Circuits of Probabilistic Models. - Yujia Shen; Arthur Choi; Adnan Darwiche (NIPS, 2016)

Reports of the 2016 AAAI Workshop Program. - Stefano V. Albrecht; Bruno Bouchard 001; John S. Brownstein; David L. Buckeridge; Cornelia Caragea; Kevin M. Carter 001; Adnan Darwiche; Blaz Fortuna; Yannick Francillette; Sébastien Gaboury; C. Lee Giles; Marko Grobelnik; et al. (AI Mag., 2016)

On Relaxing Determinism in Arithmetic Circuits. - Arthur Choi; Adnan Darwiche (ICML, 2017)

Open-World Probabilistic Databases: An Abridged Report. - Ismail Ilkan Ceylan; Adnan Darwiche; Guy Van den Broeck (IJCAI, 2017)

Optimal Feature Selection for Decision Robustness in Bayesian Networks. - YooJung Choi 001; Adnan Darwiche; Guy Van den Broeck (IJCAI, 2017)

Tractability in Structured Probability Spaces. - Arthur Choi; Yujia Shen; Adnan Darwiche (NIPS, 2017)

A Tractable Probabilistic Model for Subset Selection. - Yujia Shen; Arthur Choi; Adnan Darwiche (UAI, 2017)

Learning Bayesian network parameters under equivalence constraints. - Tiansheng Yao; Arthur Choi; Adnan Darwiche (Artif. Intell., 2017)

On Compiling DNNFs without Determinism. - Umut Oztok; Adnan Darwiche (CoRR, 2017)

Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381). - Adnan Darwiche; Pierre Marquis; Dan Suciu; Stefan Szeider (Dagstuhl Reports, 2017)

Conditional PSDDs: Modeling and Learning With Modular Knowledge. - Yujia Shen; Arthur Choi; Adnan Darwiche (AAAI, 2018)

A Symbolic Approach to Explaining Bayesian Network Classifiers. - Andy Shih; Arthur Choi; Adnan Darwiche (IJCAI, 2018)

On the Relative Expressiveness of Bayesian and Neural Networks. - Arthur Choi; Adnan Darwiche (PGM, 2018)

Formal Verification of Bayesian Network Classifiers. - Andy Shih; Arthur Choi; Adnan Darwiche (PGM, 2018)

Human-level intelligence or animal-like abilities? - Adnan Darwiche (Commun. ACM, 2018)

On pruning with the MDL Score. - Eunice Yuh-Jie Chen; Adnan Darwiche; Arthur Choi (Int. J. Approx. Reason., 2018)

An Exhaustive DPLL Algorithm for Model Counting. - Umut Oztok; Adnan Darwiche (J. Artif. Intell. Res., 2018)

Structured Bayesian Networks: From Inference to Learning with Routes. - Yujia Shen; Anchal Goyanka; Adnan Darwiche; Arthur Choi (AAAI, 2019)

Compiling Bayesian Network Classifiers into Decision Graphs. - Andy Shih; Arthur Choi; Adnan Darwiche (AAAI, 2019)

Conditional Independence in Testing Bayesian Networks. - Yujia Shen; Haiying Huang 002; Arthur Choi; Adnan Darwiche (ICML, 2019)

Verifying Binarized Neural Networks by Angluin-Style Learning. - Andy Shih; Adnan Darwiche; Arthur Choi (SAT, 2019)

On the relative expressiveness of Bayesian and neural networks. - Arthur Choi; Ruocheng Wang; Adnan Darwiche (Int. J. Approx. Reason., 2019)

An Advance on Variable Elimination with Applications to Tensor-Based Computation. - Adnan Darwiche (ECAI, 2020)

On the Reasons Behind Decisions. - Adnan Darwiche; Auguste Hirth (ECAI, 2020)

On Tractable Representations of Binary Neural Networks. - Weijia Shi; Andy Shih; Adnan Darwiche; Arthur Choi (KR, 2020)

Supervised Learning with Background Knowledge. - Yizuo Chen; Arthur Choi; Adnan Darwiche (PGM, 2020)

A New Perspective on Learning Context-Specific Independence. - Yujia Shen; Arthur Choi; Adnan Darwiche (PGM, 2020)

Three Modern Roles for Logic in AI. - Adnan Darwiche (PODS, 2020)

On Symbolically Encoding the Behavior of Random Forests. - Arthur Choi; Andy Shih; Anchal Goyanka; Adnan Darwiche (CoRR, 2020)

On Recovering from Modeling Errors Using Testing Bayesian Networks. - Haiying Huang 002; Adnan Darwiche (ICML, 2021)

Open-world probabilistic databases: Semantics, algorithms, complexity. - Ismail Ilkan Ceylan; Adnan Darwiche; Guy Van den Broeck (Artif. Intell., 2021)

On Quantifying Literals in Boolean Logic and its Applications to Explainable AI. - Adnan Darwiche; Pierre Marquis (J. Artif. Intell. Res., 2021)

Tractable Boolean and Arithmetic Circuits. - Adnan Darwiche (Neuro-Symbolic Artificial Intelligence, 2021)

Complete Algorithms. - Adnan Darwiche; Knot Pipatsrisawat (Handbook of Satisfiability, 2021)

On the Computation of Necessary and Sufficient Explanations. - Adnan Darwiche; Chunxi Ji (AAAI, 2022)

On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract). - Adnan Darwiche; Pierre Marquis (IJCAI, 2022)

On the definition and computation of causal treewidth. - Yizuo Chen; Adnan Darwiche (UAI, 2022)

Causal Inference Using Tractable Circuits. - Adnan Darwiche (CoRR, 2022)

Tractable Boolean and Arithmetic Circuits. - Adnan Darwiche (CoRR, 2022)

An Algorithm and Complexity Results for Causal Unit Selection. - Haiying Huang 002; Adnan Darwiche (CLeaR, 2023)

On the Complexity of Counterfactual Reasoning. - Yunqiu Han; Yizuo Chen; Adnan Darwiche (IJCAI, 2023)

A New Class of Explanations for Classifiers with Non-binary Features. - Chunxi Ji; Adnan Darwiche (JELIA, 2023)

Logic for Explainable AI. - Adnan Darwiche (LICS, 2023)

Tractable Bounding of Counterfactual Queries by Knowledge Compilation. - David Huber 001; Yizuo Chen; Alessandro Antonucci 001; Adnan Darwiche; Marco Zaffalon (CoRR, 2023)

On the (Complete) Reasons Behind Decisions. - Adnan Darwiche; Auguste Hirth (J. Log. Lang. Inf., 2023)

FPGA Acceleration of Probabilistic Sentential Decision Diagrams with High-level Synthesis. - Young Kyu Choi; Carlos Santillana; Yujia Shen; Adnan Darwiche; Jason Cong (ACM Trans. Reconfigurable Technol. Syst., 2023)

Causal Unit Selection using Tractable Arithmetic Circuits. - Haiying Huang 002; Adnan Darwiche (FLAIRS, 2024)

Which Actions Are Always Necessary in Fully-Observable Non-Deterministic Planning? - Yaofang Zhang; Adnan Darwiche (FLAIRS, 2024)

Identifying Causal Effects Under Functional Dependencies. - Yizuo Chen; Adnan Darwiche (NeurIPS, 2024)

Constrained Identifiability of Causal Effects. - Yizuo Chen; Adnan Darwiche (CoRR, 2024)

Towards an effective practice of learning from data and knowledge. - Yizuo Chen; Haiying Huang 002; Adnan Darwiche (Int. J. Approx. Reason., 2024)

Knowledge compilation. - Adnan Darwiche; Pierre Marquis (Ann. Math. Artif. Intell., 2024)