Adnan Y. Darwiche

Adnan Y. Darwiche's AcademicInfluence.com Rankings

Adnan Y. Darwiche

Computer Science

#5484

World Rank

#5792

Historical Rank

Machine Learning

#1480

World Rank

#1502

Historical Rank

Artificial Intelligence

#1713

World Rank

#1745

Historical Rank

Database

#2637

World Rank

#2759

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Adnan Y. Darwiche's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Computer Science Stanford University

Similar Degrees You Can Earn

Why Is Adnan Y. Darwiche Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Adnan Y. Darwiche's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Modeling and Reasoning with Bayesian Networks (2009) (1104)
A Knowledge Compilation Map (2002) (796)
On the Logic of Iterated Belief Revision (1994) (660)
A differential approach to inference in Bayesian networks (2000) (561)
Inference in belief networks: A procedural guide (1996) (524)
Decomposable negation normal form (2001) (359)
On probabilistic inference by weighted model counting (2008) (341)
Recursive conditioning (2001) (295)
SDD: A New Canonical Representation of Propositional Knowledge Bases (2011) (268)
New Advances in Compiling CNF into Decomposable Negation Normal Form (2004) (261)
A Lightweight Component Caching Scheme for Satisfiability Solvers (2007) (257)
Complexity Results and Approximation Strategies for MAP Explanations (2011) (218)
Model-Based Diagnosis using Structured System Descriptions (1998) (165)
Compiling Bayesian Networks with Local Structure (2005) (164)
On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision (2001) (159)
A Symbolic Approach to Explaining Bayesian Network Classifiers (2018) (145)
On the power of clause-learning SAT solvers as resolution engines (2011) (145)
On the Revision of Probabilistic Beliefs using Uncertain Evidence (2003) (140)
Compiling Bayesian Networks Using Variable Elimination (2007) (137)
A Logical Approach to Factoring Belief Networks (2002) (137)
Probabilistic Sentential Decision Diagrams (2014) (134)
Compiling relational Bayesian networks for exact inference (2006) (129)
Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters (2004) (123)
When do Numbers Really Matter? (2001) (120)
Optimal algorithms for haplotype assembly from whole-genome sequence data (2010) (117)
OARPLAN: Generating project plans by reasoning about objects, actions and resources (1988) (116)
RSat 2.0: SAT Solver Description (2006) (113)
A distance measure for bounding probabilistic belief change (2002) (102)
New Compilation Languages Based on Structured Decomposability (2008) (102)
A compiler for deterministic, decomposable negation normal form (2002) (98)
Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study (2010) (91)
Bayesian networks (2010) (90)
On The Reasons Behind Decisions (2020) (85)
Compiling Knowledge into Decomposable Negation Normal Form (1999) (84)
A Top-Down Compiler for Sentential Decision Diagrams (2015) (84)
Skolemization for Weighted First-Order Model Counting (2013) (81)
A Symbolic Generalization of Probability Theory (1992) (80)
On the Relation between Kappa Calculus and Probabilistic Reasoning (1994) (76)
On the Power of Clause-Learning SAT Solvers with Restarts (2009) (75)
Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty (1994) (74)
Solving MAP Exactly using Systematic Search (2002) (70)
Human-level intelligence or animal-like abilities? (2017) (69)
DPLL with a Trace: From SAT to Knowledge Compilation (2005) (67)
Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams (2013) (63)
Electronic Theses and Dissertations (2004) (63)
Dynamic Minimization of Sentential Decision Diagrams (2013) (63)
A differential semantics for jointree algorithms (2004) (62)
Query DAGs: A practical paradigm for implementing belief-network inference (1996) (59)
Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations (2005) (58)
Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft (2008) (57)
The Language of Search (2007) (57)
Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions (2015) (57)
Using DPLL for Efficient OBDD Construction (2004) (57)
Symbolic Causal Networks (1994) (56)
A Structure-Based Variable Ordering Heuristic for SAT (2003) (55)
Sensor Validation using Bayesian Networks (2008) (55)
On the Robustness of Most Probable Explanations (2006) (53)
A Perspective on Knowledge Compilation (2001) (53)
Approximating MAP using Local Search (2001) (53)
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits (2006) (52)
An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality (2006) (52)
A New Clause Learning Scheme for Efficient Unsatisfiability Proofs (2008) (51)
Same-decision probability: A confidence measure for threshold-based decisions (2012) (51)
Tractable Learning for Complex Probability Queries (2015) (51)
Basing Decisions on Sentences in Decision Diagrams (2012) (50)
On Relaxing Determinism in Arithmetic Circuits (2017) (50)
Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees (2001) (50)
New Advances in Inference by Recursive Conditioning (2002) (49)
Tractable Operations for Arithmetic Circuits of Probabilistic Models (2016) (48)
Compiling propositional weighted bases (2004) (47)
Compiling Bayesian Network Classifiers into Decision Graphs (2019) (47)
Clone: Solving Weighted Max-SAT in a Reduced Search Space (2007) (46)
Open-World Probabilistic Databases (2016) (43)
On Tractable Representations of Binary Neural Networks (2020) (43)
Software health management with Bayesian networks (2013) (42)
Constant-space reasoning in dynamic Bayesian networks (2001) (41)
Model-Based Diagnosis using Causal Networks (1995) (41)
A Logical Notion of Conditional Independence: Properties and Application (1997) (40)
On Compiling CNF into Decision-DNNF (2014) (40)
Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks (2007) (39)
Three Modern Roles for Logic in AI (2020) (39)
Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference (2012) (38)
On the Role of Canonicity in Knowledge Compilation (2015) (38)
Reasoning about Bayesian Network Classifiers (2002) (38)
A Lower Bound on the Size of Decomposable Negation Normal Form (2010) (37)
On the tractable counting of theory models and its application to belief revision and truth maintenance (2000) (35)
Structured Features in Naive Bayes Classification (2016) (34)
Model-Based Diagnosis under Real-World Constraints (2000) (34)
Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis (2008) (32)
Verifying Binarized Neural Networks by Angluin-Style Learning (2019) (32)
Compiling Devices: A Structure-Based Approach (1998) (32)
Conditioning Algorithms for Exact and Approximate Inference in Causal Networks (1995) (31)
Formal Verification of Bayesian Network Classifiers (2018) (31)
A Variational Approach for Approximating Bayesian Networks by Edge Deletion (2006) (30)
On Compiling System Models for Faster and More Scalable Diagnosis (2005) (28)
Complete Algorithms (2021) (27)
On Bayesian Network Approximation by Edge Deletion (2005) (26)
Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data (2014) (25)
Learning Bayesian networks with ancestral constraints (2016) (25)
Optimal Time-Space Tradeoff in Probabilistic Inference (2003) (23)
Exploiting Evidence in Probabilistic Inference (2005) (22)
Relax, Compensate and Then Recover (2010) (22)
Compiling Neural Networks into Tractable Boolean Circuits (2019) (22)
Sensitivity Analysis in Markov Networks (2005) (22)
On Modern Clause-Learning Satisfiability Solvers (2010) (21)
Algorithms and Applications for the Same-Decision Probability (2014) (21)
Argument Calculus and Networks (1993) (21)
Conditioning Methods for Exact and Approximate Inference in Causal Networks (2013) (20)
On Symbolically Encoding the Behavior of Random Forests (2020) (20)
Symbolic Causal Networks for Reasoning about Actions and Plans (1994) (20)
A Tutorial on Bayesian Networks for System Health Management (2011) (20)
Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications (2010) (19)
Encoding CNFs to Empower Component Analysis (2006) (19)
Optimal Feature Selection for Decision Robustness in Bayesian Networks (2017) (19)
Dynamic Jointrees (1998) (18)
Approximating the Partition Function by Deleting and then Correcting for Model Edges (2008) (18)
Toward good elimination orders for symbolic SAT solving (2004) (18)
Solving PPPP-Complete Problems Using Knowledge Compilation (2016) (17)
On the Relative Expressiveness of Bayesian and Neural Networks (2018) (17)
RC_Link: Genetic linkage analysis using Bayesian networks (2008) (17)
Uncertainty in artificial intelligence : proceedings of the nineteenth conference (2003), August 7-10, 2003, Acapulco, Mexico (2003) (16)
A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT (2009) (16)
Conditional PSDDs: Modeling and Learning With Modular Knowledge (2018) (16)
CV-width: A New Complexity Parameter for CNFs (2014) (16)
Any-Space Probabilistic Inference (2000) (15)
Approximating Weighted Max-SAT Problems by Compensating for Relaxations (2009) (14)
Rsat 1 . 03 : SAT Solver Description (2007) (14)
Relax then compensate: on max-product belief propagation and more (2009) (14)
What are Bayesian networks and why are their applications growing across all fields ? (2010) (13)
An Exact Algorithm for Computing the Same-Decision Probability (2013) (13)
A Tractable Probabilistic Model for Subset Selection (2017) (13)
Structured Bayesian Networks: From Inference to Learning with Routes (2019) (13)
Tractable Knowledge Representation Formalisms (2014) (13)
Enumerating Equivalence Classes of Bayesian Networks using EC Graphs (2016) (12)
Focusing Generalizations of Belief Propagation on Targeted Queries (2008) (12)
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI (2021) (12)
Value of Information Based on Decision Robustness (2015) (12)
Tractability in Structured Probability Spaces (2017) (12)
Width-Based Restart Policies for Clause-Learning Satisfiability Solvers (2009) (12)
The Effect of Observations on the Complexity of Model-Based Diagnosis (1997) (12)
The Same-Decision Probability: A New Tool for Decision Making (2012) (11)
Outbreak of staphylococcal bullous impetigo in a maternity ward linked to an asymptomatic healthcare worker. (2007) (11)
Testing Equivalence Probabilistically (2002) (11)
Exploiting System Structure in Model-Based Diagnosis of Discrete-Event Systems (2007) (10)
Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies (2006) (10)
Morphing the Hugin and Shenoy-Shafer Architectures (2003) (10)
Learning Bayesian network parameters under equivalence constraints (2017) (10)
Computer Adaptive Testing Using the Same-Decision Probability (2015) (10)
SAT Solver Description : Rsat (2006) (9)
Utilizing Knowledge-Base Semantics in Graph-Based Algorithms (1996) (9)
Compilation of propositional weighted bases (2002) (9)
Learning Bayesian Networks with Non-Decomposable Scores (2015) (9)
An Advance on Variable Elimination with Applications to Tensor-Based Computation (2020) (9)
Efficient Genome Wide Tagging by Reduction to SAT (2008) (9)
Probabilistic sentential decision diagrams: Learning with massive logical constraints (2014) (8)
Open-World Probabilistic Databases: An Abridged Report (2017) (8)
Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations (2008) (8)
Towards software health management with bayesian networks (2010) (8)
Open-world probabilistic databases: Semantics, algorithms, complexity (2021) (8)
An Exhaustive DPLL Algorithm for Model Counting (2018) (8)
Causal Inference Using Tractable Circuits (2022) (7)
7 Inference in Bayesian Networks : A Historical Perspective (2009) (7)
A Standard Approach for Optimizing Belief Network Inference Using Query DAGs (1997) (7)
Verifying Binarized Neural Networks by Local Automaton Learning (2019) (7)
Modeling and Reasoning with Bayesian Networks: Bayesian Networks (2009) (6)
On pruning with the MDL Score (2016) (6)
Objection-Based Causal Networks (1992) (6)
[Bouchut tubercles and AIDS. Apropos of 3 cases]. (1994) (6)
Modeling and Reasoning with Bayesian Networks: Preface (2009) (6)
Reasoning with propositional knowledge: frameworks for boolean satisfiability and knowledge compilation (2010) (5)
EDML for Learning Parameters in Directed and Undirected Graphical Models (2013) (5)
Supervised Learning with Background Knowledge (2020) (5)
New Advances and Theoretical Insights into EDML (2012) (5)
Conditional Independence in Testing Bayesian Networks (2019) (5)
Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381) (2018) (5)
[Amiodarone and fetal supraventricular tachycardia. Apropos of a case with neonatal hypothyroidism]. (1992) (5)
Utilizing Device Behavior in Structure-Based Diagnosis (1999) (5)
EDML: A Method for Learning Parameters in Bayesian Networks (2011) (5)
A New Perspective on Learning Context-Specific Independence (2020) (4)
Decomposing Parameter Estimation Problems (2014) (4)
A Greedy Algorithm for Time – Space Tradeoff in Probabilistic Inference (2004) (4)
Plan simulation using Bayesian networks (1995) (4)
New Advances in Structure-Based Diagnosis: A Method for Compiling Devices (1997) (4)
Dynamic Texture Modeling (4)
Tractable Boolean and Arithmetic Circuits (2021) (4)
An Edge Deletion Semantics for Belief Propagation (2009) (3)
Decision-Theory For Crisis Management. (1994) (3)
Proceedings of the Eighteenth Conference on Uncertainty in Artificial Intelligence (2002) (2002) (3)
Building Bayesian Networks (2009) (3)
Software Health Management: A Short Review of Challenges and Existing Techniques (2009) (3)
A Practical Relaxation of Constant-Factor Treewidth Approximation Algorithms (2002) (2)
Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation (2006) (2)
On the (Complete) Reasons Behind Decisions (2022) (2)
On the definition and computation of causal treewidth (2022) (2)
Generalized Decision Diagrams: The game is not over yet! (2012) (2)
On Tractability and Hypertree Width (2007) (2)
Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference (2010) (2)
On the Computation of Necessary and Sufficient Explanations (2022) (2)
Atteinte conjonctivale et rétinienne au cours des hémoglobinopathies chez l'enfant (1997) (2)
Open World Probabilistic Databases (Extended Abstract) (2016) (2)
Data Compression for Learning MRF Parameters (2015) (2)
On Decomposability and Interaction Functions (2010) (1)
On Recovering from Modeling Errors Using Testing Bayesian Networks (2021) (1)
On Compiling DNNFs without Determinism (2017) (1)
Evaluating probabilistic reasoning systems (2008) (1)
Uncertainty in artificial intelligence : proceedings of the Eighteenth Conference (2002) : August 1-4, 2002, University of Alberta, Edmonton (2002) (1)
Revisiting the Problem of Belief Revision with Uncertain Evidence (2003) (1)
Approximating MAP by Compensating for Structural Relaxations (2009) (1)
On the Complexity of Counterfactual Reasoning (2022) (1)
Reports of the 2016 AAAI Workshop Program (2016) (1)
Reports from the 2015 AAAI Workshop Program (2015) (1)
Preface: The Beyond NP Workshop (2016) (1)
USING DATABASE SPECIFICATIONS TO AUTOMATE THE DIAGNOSIS OF FACTORY AUTOMATION SYSTEMS (1998) (1)
Lifted inference for probabilistic logic programs (2014) (1)
On the Role of Canonicity in Bottom-up Knowledge Compilation (2014) (1)
A Symbolic Generalization eory (1992) (1)
Rsat 3.01: Solver Description (2008) (1)
FPGA Acceleration of Probabilistic Sentential Decision Diagrams with High-Level Synthesis (2022) (1)
Compiling Bayesian Networks (2009) (1)
Probability Distributions over Structured Spaces (2015) (1)
Abstract W P267: Different Strokes: Causality and Outcomes in the NINDS-tPA Trials (2015) (1)
A New Algorithm for Computing Upper Bounds for Functional E-MAJSAT Knot (2008) (0)
Probabilistic Sensitivity Analysis for Situation Awareness (2008) (0)
Efficient Probabilistic Diagnostics for Electrical Power Systems (2008) (0)
ISWHM: Tools and Techniques for Software and System Health Management (2010) (0)
Models for Graph Decomposition (2009) (0)
Dual Decomposition from the Perspective of Relax, Compensate and then Recover (2015) (0)
Modeling and Reasoning with Bayesian Networks: Sensitivity Analysis (2009) (0)
Fixed Point Iterative Methods (2009) (0)
An Algorithm and Complexity Results for Causal Unit Selection (2023) (0)
Learning: The Bayesian Approach (2009) (0)
An Upper Bound on the Global Optimum in Parameter Estimation (2015) (0)
Artificial Intelligence A logical notion of conditional independence : properties and applications (2003) (0)
Proceedings 35th International Conference on Logic Programming (Technical Communications) (2019) (0)
BIOINFORMATICS Optimal algorithms for haplotype assembly from whole-genome sequence data (2010) (0)
Integrated diagnostic system and method (2001) (0)
Learning Bayesian Networks under Equivalence Constraints (Abstract) (2013) (0)
SDD Beginning-User Manual Version 2 . 0 (2013) (0)
Objection-based Causal Exception Networks (1992) (0)
Towards Software Health Management with Bayesian Networks Position Paper (2010) (0)
Lifted Aggregation and Skolemization for Directed Models (2021) (0)
Automated explanation generation in graphical models (2003) (0)
On Probabilistic Inference by Weighted Model Counting (cid:63) (2007) (0)
A New Class of Explanations for Classifiers with Non-Binary Features (2023) (0)
A unifying framework for propositional satisfiability and knowledge compilation (2005) (0)
Special Track on Continuous Planning (2012) (0)
UAI '02, Proceedings of the 18th Conference in Uncertainty in Artificial Intelligence, University of Alberta, Edmonton, Alberta, Canada, August 1-4, 2002 (2002) (0)
Most Likely Instantiations (2009) (0)
Belief propagation and approximate inference: compensating for relaxations (2010) (0)
Inference by Conditioning (2009) (0)
Structure-Based Generation of Plans Compositional Planning using Plan Calculus and Networks (2002) (0)
Nécrose rétinienne à virus varicelle-zona au cours du syndrome d'immunodépression acquise (1995) (0)
Modeling and Reasoning with Bayesian Networks: The Complexity of Probabilistic Inference (2009) (0)
Inference by Factor Elimination (2009) (0)
Learning: The Maximum Likelihood Approach (2009) (0)
Modeling and Reasoning with Bayesian Networks: Approximate Inference by Stochastic Sampling (2009) (0)
Modeling and Reasoning with Bayesian Networks: Concepts from Information Theory (2009) (0)
Lifted Generalized Belief Propagation: Relax, Compensate and Recover (2021) (0)
[Medical treatment of severe uveitis]. (1989) (0)
Modeling and Reasoning with Bayesian Networks: Inference with Local Structure (2009) (0)
E¢ cient Probabilistic Diagnostics for Electrical Power Systems (2008) (0)
Line Space (2012) (0)
E cient Representations of Boolean Functions: The View from Knowledge Compilation (2011) (0)
Utilizing Device Non-structural Properties in Structure-based Diagnosis (2007) (0)
PRIMO, an Explainable Artificial Intelligence Software Tool for Weight Management Experts: Design and Usability Study (Preprint) (2022) (0)
Software health management with Bayesian networks (2013) (0)
On a Discrete Dirichlet Model (2010) (0)
Approximate Inference by Belief Propagation (2009) (0)
Compiling relational Bayesian networks for exact inference - eScholarship (2006) (0)
[49,XXXXY syndrome and congenital cardiopathy]. (1991) (0)
Inference by Variable Elimination (2009) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Adnan Y. Darwiche?

Adnan Y. Darwiche is affiliated with the following schools:

University of California, Los Angeles

Adnan Y. Darwiche's Academic­Influence.com Rankings

Adnan Y. Darwiche's Degrees

Similar Degrees You Can Earn

Why Is Adnan Y. Darwiche Influential?

Adnan Y. Darwiche's Published Works

Published Works

What Schools Are Affiliated With Adnan Y. Darwiche?

Adnan Y. Darwiche's AcademicInfluence.com Rankings