
Supplemental Material
- N. Ackerman, C. Freer, and D. Roy. Noncomputable conditional distributions. In Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, pages 107--116. IEEE, 2011. Google Scholar
Digital Library
- M. Frank and N. Goodman. Predicting pragmatic reasoning in language games. Science, 336 (6084): 998--998, 2012.Google Scholar
Cross Ref
- C. E. Freer and D. M. Roy. Computable de Finetti measures. Annals of Pure and Applied Logic, 163 (5): 530--546, 2012. 10.1016/j.apal.2011.06.011.% URL% http://www.sciencedirect.com/science/article/pii/S0168007211000868.Google Scholar
Cross Ref
- T. Gerstenberg and N. D. Goodman. Ping pong in Church: Productive use of concepts in human probabilistic inference. In Proceedings of the 34th annual conference of the cognitive science society, 2012.Google Scholar
- N. Goodman and A. Stuhlmüller. Knowledge and implicature: Modeling language understanding as social cognition. Topics in Cognitive Science, 2013.Google Scholar
Cross Ref
- N. Goodman, V. Mansinghka, D. Roy, K. Bonawitz, and J. Tenenbaum. Church: A language for generative models. In phIn UAI, 2008.Google Scholar
- C. Jones and G. Plotkin. A probabilistic powerdomain of evaluations. In Logic in Computer Science (LICS), 1989 4th Annual IEEE Symposium on, pages 186--195, Jun 1989. 10.1109/LICS.1989.39173. Google Scholar
Digital Library
- A. Kimmig, B. Demoen, L. De Raedt, V. S. Costa, and R. Rocha. On the implementation of the probabilistic logic programming language ProbLog. Theory and Practice of Logic Programming, 11 (2--3): 235--262, 2011. Google Scholar
Digital Library
- O. Kiselyov and C. Shan. Embedded probabilistic programming. In Domain-Specific Languages, pages 360--384, 2009. Google Scholar
Digital Library
- D. Koller and N. Friedman. Probabilistic graphical models: principles and techniques. MIT press, 2009. Google Scholar
Digital Library
- A. McCallum, K. Schultz, and S. Singh. Factorie: Probabilistic programming via imperatively defined factor graphs. In Neural Information Processing Systems Conference (NIPS), 2009.Google Scholar
- 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. Google Scholar
Digital Library
- A. Pfeffer. IBAL: A probabilistic rational programming language. In International Joint Conference on Artificial Intelligence (IJCAI), pages 733--740. Morgan Kaufmann Publ., 2001. Google Scholar
Digital Library
- A. Pfeffer. Figaro: An object-oriented probabilistic programming language. Charles River Analytics Technical Report, 2009.Google Scholar
- D. Poole. The independent choice logic and beyond. Probabilistic inductive logic programming, pages 222--243, 2008. Google Scholar
Digital Library
- M. Richardson and P. Domingos. Markov logic networks. Machine Learning, 62: 107--136, 2006. Google Scholar
Digital Library
- T. Sato and Y. Kameya. PRISM: A symbolic-statistical modeling language. In International Joint Conference on Artificial Intelligence (IJCAI), 1997. Google Scholar
Digital Library
- A. Stuhlmüller and N. Goodman. A dynamic programming algorithm for inference in recursive probabilistic programs. arXiv preprint arXiv:1206.3555, 2012.Google Scholar
- D. Wingate, N. Goodman, A. Stuhlmueller, and J. Siskind. Nonstandard interpretations of probabilistic programs for efficient inference. In Advances in Neural Information Processing Systems 23, 2011.Google Scholar
Digital Library
- D. Wingate, A. Stuhlmueller, and N. Goodman. Lightweight implementations of probabilistic programming languages via transformational compilation. In pProceedings of the 14th international conference on Artificial Intelligence and Statistics, page 131, 2011.Google Scholar
- L. Yang, P. Hanrahan, and N. Goodman. Incrementalizing mcmc on probabilistic programs through tracing and slicing. Under review.Google Scholar
- Y. Yeh, L. Yang, M. Watson, N. Goodman, and P. Hanrahan. Synthesizing open worlds with constraints using locally annealed reversible jump mcmc. ACM Transactions on Graphics (TOG), 31 (4): 56, 2012. Google Scholar
Digital Library
Index Terms
The principles and practice of probabilistic programming
Recommendations
The principles and practice of probabilistic programming
POPL '13: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languagesProbabilistic models in IR and their relationships
A solid research path towards new information retrieval models is to further develop the theory behind existing models. A profound understanding of these models is therefore essential. In this paper, we revisit probability ranking principle (PRP)-based ...
Modular verification for almost-sure termination of probabilistic programs
In this work, we consider the almost-sure termination problem for probabilistic programs that asks whether a given probabilistic program terminates with probability 1. Scalable approaches for program analysis often rely on modularity as their ...







Comments