Modeling and reasoning with Bayesian networks A Darwiche Cambridge university press, 2009 | 1600 | 2009 |
A knowledge compilation map A Darwiche, P Marquis Journal of Artificial Intelligence Research 17, 229-264, 2002 | 1105 | 2002 |
On the logic of iterated belief revision A Darwiche, J Pearl Artificial intelligence 89 (1-2), 1-29, 1997 | 932 | 1997 |
Inference in belief networks: A procedural guide C Huang, A Darwiche International journal of approximate reasoning 15 (3), 225-263, 1996 | 796 | 1996 |
A differential approach to inference in Bayesian networks A Darwiche Journal of the ACM (JACM) 50 (3), 280-305, 2003 | 742 | 2003 |
Decomposable negation normal form A Darwiche Journal of the ACM (JACM) 48 (4), 608-647, 2001 | 469 | 2001 |
On probabilistic inference by weighted model counting M Chavira, A Darwiche Artificial Intelligence 172 (6-7), 772-799, 2008 | 454 | 2008 |
SDD: A new canonical representation of propositional knowledge bases A Darwiche Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 395 | 2011 |
A lightweight component caching scheme for satisfiability solvers K Pipatsrisawat, A Darwiche Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007 | 384 | 2007 |
Recursive conditioning A Darwiche Artificial Intelligence 126 (1-2), 5-41, 2001 | 370 | 2001 |
New advances in compiling CNF to decomposable negation normal form A Darwiche Proc. of ECAI, 328-332, 2004 | 351 | 2004 |
On the tractable counting of theory models and its application to truth maintenance and belief revision A Darwiche Journal of Applied Non-Classical Logics 11 (1-2), 11-34, 2001 | 300* | 2001 |
A symbolic approach to explaining bayesian network classifiers A Shih, A Choi, A Darwiche arXiv preprint arXiv:1805.03364, 2018 | 238 | 2018 |
Complexity results and approximation strategies for MAP explanations JD Park, A Darwiche Journal of Artificial Intelligence Research 21, 101-133, 2004 | 226 | 2004 |
OARPLAN: Generating project plans by reasoning about objects, actions and resources A Darwiche, RE Levitt, B Hayes-Roth AI EDAM 2 (3), 169-181, 1988 | 219* | 1988 |
Compiling Bayesian networks with local structure M Chavira, A Darwiche IJCAI 5, 1306-1312, 2005 | 204 | 2005 |
Bayesian networks A Darwiche Communications of the ACM 53 (12), 80-90, 2010 | 201 | 2010 |
Model-based diagnosis using structured system descriptions A Darwiche Journal of Artificial Intelligence Research 8, 165-222, 1998 | 200 | 1998 |
Probabilistic sentential decision diagrams D Kisa, G Van den Broeck, A Choi, A Darwiche Fourteenth International Conference on the Principles of Knowledge …, 2014 | 194 | 2014 |
A logical approach to factoring belief networks A Darwiche KR 2, 409-420, 2002 | 188 | 2002 |