Follow
Adnan Darwiche
Adnan Darwiche
Professor of Computer Science, UCLA
Verified email at cs.ucla.edu - Homepage
Title
Cited by
Cited by
Year
Modeling and reasoning with Bayesian networks
A Darwiche
Cambridge university press, 2009
16352009
A knowledge compilation map
A Darwiche, P Marquis
Journal of Artificial Intelligence Research 17, 229-264, 2002
11632002
On the logic of iterated belief revision
A Darwiche, J Pearl
Artificial intelligence 89 (1-2), 1-29, 1997
9551997
Inference in belief networks: A procedural guide
C Huang, A Darwiche
International journal of approximate reasoning 15 (3), 225-263, 1996
7961996
A differential approach to inference in Bayesian networks
A Darwiche
Journal of the ACM (JACM) 50 (3), 280-305, 2003
7602003
On probabilistic inference by weighted model counting
M Chavira, A Darwiche
Artificial Intelligence 172 (6-7), 772-799, 2008
4922008
Decomposable negation normal form
A Darwiche
Journal of the ACM (JACM) 48 (4), 608-647, 2001
4782001
SDD: A new canonical representation of propositional knowledge bases
A Darwiche
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
4152011
A lightweight component caching scheme for satisfiability solvers
K Pipatsrisawat, A Darwiche
Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007
3932007
Recursive conditioning
A Darwiche
Artificial Intelligence 126 (1-2), 5-41, 2001
3722001
New advances in compiling CNF to decomposable negation normal form
A Darwiche
Proc. of ECAI, 328-332, 2004
3602004
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
306*2001
A symbolic approach to explaining bayesian network classifiers
A Shih, A Choi, A Darwiche
arXiv preprint arXiv:1805.03364, 2018
2762018
Complexity results and approximation strategies for MAP explanations
JD Park, A Darwiche
Journal of Artificial Intelligence Research 21, 101-133, 2004
2312004
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
223*1988
Compiling Bayesian networks with local structure
M Chavira, A Darwiche
IJCAI 5, 1306-1312, 2005
2052005
Bayesian networks
A Darwiche
Communications of the ACM 53 (12), 80-90, 2010
2042010
Probabilistic sentential decision diagrams
D Kisa, G Van den Broeck, A Choi, A Darwiche
Fourteenth International Conference on the Principles of Knowledge …, 2014
2012014
Model-based diagnosis using structured system descriptions
A Darwiche
Journal of Artificial Intelligence Research 8, 165-222, 1998
2011998
On the power of clause-learning SAT solvers as resolution engines
K Pipatsrisawat, A Darwiche
Artificial intelligence 175 (2), 512-525, 2011
1962011
The system can't perform the operation now. Try again later.
Articles 1–20