Adnan Darwiche

Available identifiers

zbMath Open darwiche.adnanWikidataQ102175792 ScholiaQ102175792MaRDI QIDQ511783

List of research outcomes

Publication	Date of Publication	Type
On the (complete) reasons behind decisions	2023-08-16	Paper
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI	2022-02-07	Paper
Open-world probabilistic databases: semantics, algorithms, complexity	2021-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q4999271	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4999317	2021-07-06	Paper
Verifying binarized neural networks by Angluin-style learning	2020-05-20	Paper
On the relative expressiveness of Bayesian and neural networks	2020-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4639880	2018-05-14	Paper
On pruning with the MDL score	2017-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q5283031	2017-07-18	Paper
Learning Bayesian network parameters under equivalence constraints	2017-02-22	Paper
A differential approach to inference in Bayesian networks	2015-11-12	Paper
Modeling and Reasoning with Bayesian Networks	2015-04-24	Paper
Algorithms and Applications for the Same-Decision Probability	2014-05-16	Paper
Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams	2013-08-05	Paper
Same-decision probability: a confidence measure for threshold-based decisions	2013-06-13	Paper
On the power of clause-learning SAT solvers as resolution engines	2011-06-17	Paper
Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications	2011-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2999098	2011-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2996250	2011-05-06	Paper
Relax, Compensate and Then Recover: A Theory of Anytime, Approximate Inference	2010-10-01	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty	2010-04-06	Paper
On probabilistic inference by weighted model counting	2009-07-17	Paper
Modeling and Reasoning with Bayesian Networks	2009-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q3624075	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3604006	2009-02-24	Paper
Decomposable negation normal form	2008-02-11	Paper
On the revision of probabilistic beliefs using uncertain evidence	2007-10-23	Paper
Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies	2007-09-04	Paper
Compiling relational Bayesian networks for exact inference	2006-08-14	Paper
A differential semantics for jointree algorithms	2006-02-07	Paper
Compiling propositional weighted bases	2006-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q5715665	2006-01-04	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
A distance measure for bounding probabilistic belief change	2005-04-07	Paper
On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision	2004-01-11	Paper
On the logic of iterated belief revision	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4411139	2003-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4411140	2003-07-07	Paper
Constant-space reasoning in dynamic Bayesian networks	2001-10-10	Paper
Recursive conditioning	2001-08-20	Paper
Inference in belief networks: A procedural guide	1999-12-20	Paper
A logical notion of conditional independence: properties and applications	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4397012	1998-06-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Adnan Darwiche