© 2016 ACM 0001-0782/16/07 $15.00
12. Gogate, V., Dechter, R. SampleSearch:
Importance sampling in presence
of determinism. Artif. Intell. 175, 2
(2011), 694–729.
13. Gogate, V., Domingos, P. Formula-based probabilistic inference.
In Proceedings of the Twenty-Sixth Conference on Uncertainty
in Artificial Intelligence (2010),
210–219.
14. Halpern, J. An analysis of first-order
logics of probability. Artif. Intell. 46
(1990), 311–350.
15. Jha, A., Gogate, V., Meliou, A., Suciu, D.
Lifted inference from the other side:
The tractable features. In Proceedings
of the Twenty-Fourth Annual
Conference on Neural Information
Processing Systems (2010), 973–981.
16. Milch, B., Zettlemoyer, L.S., Kersting,
K., Haimes, M., Kaelbling, L.P. Lifted
probabilistic inference with counting
formulas. In Proceedings of the
Twenty- Third AAAI Conference on
Artificial Intelligence (2008), 1062–1068.
17. Nilsson, N. Probabilistic logic. Artif.
Intell. 28 (1986) 71–87.
18. Poole, D. First-Order probabilistic
inference. In Proceedings of the
Eighteenth International Joint
Conference on Artificial Intelligence
(2003), 985–991.
19. Poon, H., Domingos, P. Sound and
efficient inference with probabilistic
and deterministic dependencies.
In Proceedings of the Twenty-First
National Conference on Artificial
Intelligence (2006), 458–463.
20. Robinson, J.A. A machine-oriented
logic based on the resolution
principle. J. ACM 12 (1965) 23–41.
21. Rubinstein, R. Y. Simulation and the
Monte Carlo Method. John Wiley &
Sons Inc. Hoboken, NJ, 1981.
22. Sang, T., Beame, P., Kautz, H. Solving
Bayesian networks by weighted
model counting. In Proceedings of
the Twentieth National Conference
on Artificial Intelligence (2005),
475–482.
23. Sang, T., Beame, P., Kautz, H.
Heuristics for fast exact model
counting. In Eighth International
Conference on Theory and
Applications of Satisfiability Testing
(2005), 226–240.
24. Singla, P., Domingos, P. Lifted
first-order belief propagation. In
Lifted first-order belief propagation.
In Proceedings of the Twenty- Third
AAAI Conference on Artificial
Intelligence (2008), 1094–1099.
25. Wellman, M., Breese, J.S.,
Goldman, R.P. From knowledge bases
to decision models. Knowledge Eng.
Rev. 7 (1992), 35–53.
Acknowledgments
This research was funded by the ARO MURI grant
W911NF-08-1-0242, AFRL contracts FA8750-09-C-0181 and
FA8750-14-C-0021, DARPA contracts FA8750-05-2-0283,
FA8750-14-C-0005, FA8750-07-D-0185, HR0011-06-C-0025,
HR0011-07-C-0060, and NBCH-D030010, NSF grants IIS-
0534881 and IIS-0803481, and ONR grant N00014-08-1-0670.
The views and conclusions contained in this document are
those of the authors and should not be interpreted as necessarily representing the official policies, either expressed or
implied, of ARO, DARPA, NSF, ONR, or the U.S. Government.
1. Bacchus, F. Representing and Reasoning
with Probabilistic Knowledge. MI T
Press, Cambridge, MA, 1990.
2. Bayardo, R.J., Jr., Pehoushek, J.D.
Counting models using connected
components. In Proceedings of the
Seventeenth National Conference on
Artificial Intelligence (2000), 157–162.
3. Chavira, M., Dar wiche, A. On
probabilistic inference by weighted
model counting. Artif. Intell. 172, 6–7
(2008), 772–799.
4. Darwiche, A. Recursive conditioning.
Artif. Intell. 126, 1–2 (February 2001),
5–41.
5. Davis, M., Logemann, G., Loveland, D. A
machine program for theorem proving.
Commun. ACM 5 (1962) 394–397.
6. Davis, M., Putnam, H. A computing
procedure for quantification theory.
J. Assoc. Comput. Mach. 7, 3 (1960),
201–215.
7. De Raedt, L., Kimmig, A., Toivonen,
H. ProbLog: A probabilistic Prolog
and its application in link discovery.
In Proceedings of the Twentieth
International Joint Conference
on Artificial Intelligence (2007),
2462–2467.
8. de Salvo Braz, R. Lifted first-order
probabilistic inference. PhD thesis,
University of Illinois, Urbana-Champaign, IL (2007).
9. Dechter, R., Mateescu, R. AND/OR
search spaces for graphical
models. Artif. Intell. 171, 2–3
(2007), 73–106.
10. Domingos, P., Lowd, D. Markov Logic:
An Interface Layer for Artificial
Intelligence. Morgan & Claypool, San
Rafael, CA, 2009.
11. Getoor, L., Taskar, B., eds. Introduction
to Statistical Relational Learning. MIT
Press, Cambridge, MA, 2007.
References
Vibhav Gogate (vgogate@hlt.utdallas.
edu), The University of Texas at Dallas,
Richardson, TX.
Pedro Domingos (pedrod@cs.washington.
edu), University of Washington Seattle, WA.
nodesummit-half-page_160513.indd 1 5/13/16 2:55PM