Lightweight implementations of probabilistic programming languages via transformational compilation

Journal of Machine Learning Research

Volumn 15, Issue , 2011, Pages 770-778

  Wingate, David ^a   Stuhlmüller, Andreas ^a   Goodman, Noah D ^b  

^a Brain and Cognitive Sciences MIT   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARBITRARY PROGRAMMING; EXECUTION TRACE; FAST MODEL; GENERAL METHOD; OPEN-SOURCE; PROBABILISTIC PROGRAMMING LANGUAGE; RANDOM CHOICE;

ARTIFICIAL INTELLIGENCE; MATLAB; PROGRAM COMPILERS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 84862297949     PISSN: 15324435     EISSN: 15337928     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (16)

1. H. Daume III. Hbc: Hierarchical bayes compiler, 2007.
2. J. W. Eaton. GNU Octave Manual. Network Theory Limited, 2002.
3. A. Ghuloum. Ikarus scheme user's guide, 2008.
4. N. Goodman, V. Mansinghka, D. Roy, K. Bonawitz, and J. Tenenbaum. Church: a language for generative models. In Uncertainty in Artificial Intelligence (UAI), 2008.
5. K. Kersting and L. D. Raedt. Bayesian logic programming: Theory and tool. In L. Getoor and B. Taskar, editors, An Introduction to Statistical Relational Learning. MIT Press, 2007.
6. O. Kiselyov and C. Shan. Embedded probabilistic programming. In Domain-Specific Languages, pages 360-384, 2009.
7. B. Milch, B. Marthi, S. Russell, D. Sontag, D. L. Ong, and A. Kolobov. Blog: Probabilistic models with unknown objects. In International Joint Conference on Artificial Intelligence (IJCAI), pages 1352-1359, 2005.
8. T. Minka, J. Winn, J. Guiver, and D. Knowles. Infer. NET 2.4, 2010. Microsoft Research Cambridge. http://research.microsoft.com/infernet.
9. S. Muggleton. Stochastic logic programs. In New Generation Computing. Academic Press, 1996.
10. S. Park, F. Pfenning, and S. Thrun. A probabilistic language based on sampling functions. ACM Trans. Program. Lang. Syst., 31(1):1-46, 2008.
11. A. Pfeffer. IBAL: A probabilistic rational programming language. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence, pages 733-740. Morgan Kaufmann Publ., 2001.
12. D. Poole. The independent choice logic and beyond. pages 222-243, 2008.
13. A. Radul. Report on the probabilistic language scheme. Technical Report MIT-CSAIL-TR-2007-059, Massachusetts Institute of Technology, 2007.
14. M. Richardson and P. Domingos. Markov logic networks. Machine Learning, 62:107-136, 2006.
15. T. Sato and Y. Kameya. Prism: A symbolic-statistical modeling language. In International Joint Conference on Artificial Intelligence (IJCAI), 1997.
16. D. Spiegelhalter, A. Thomas, N. Best, and W. Gilks. Bugs - bayesian inference using gibbs sampling version 0.50, 1995.