Adnan Y. Darwiche
#128,021
Most Influential Person Now
Adnan Y. Darwiche's AcademicInfluence.com Rankings
Adnan Y. Darwichecomputer-science Degrees
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

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)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: