
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
- 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
Probabilistic 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 ...
Storm: program reduction for testing and debugging probabilistic programming systems
ESEC/FSE 2019: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software EngineeringProbabilistic programming languages offer an intuitive way to model uncertainty by representing complex probability models as simple probabilistic programs. Probabilistic programming systems (PP systems) hide the complexity of inference algorithms away ...







Comments