skip to main content
keynote

The principles and practice of probabilistic programming

Published:23 January 2013Publication History
First page image
Skip Supplemental Material Section

Supplemental Material

r1d3_talk2.mp4

mp4

433.4 MB

References

  1. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  2. M. Frank and N. Goodman. Predicting pragmatic reasoning in language games. Science, 336 (6084): 998--998, 2012.Google ScholarGoogle ScholarCross RefCross Ref
  3. 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 ScholarGoogle ScholarCross RefCross Ref
  4. 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 ScholarGoogle Scholar
  5. N. Goodman and A. Stuhlmüller. Knowledge and implicature: Modeling language understanding as social cognition. Topics in Cognitive Science, 2013.Google ScholarGoogle ScholarCross RefCross Ref
  6. N. Goodman, V. Mansinghka, D. Roy, K. Bonawitz, and J. Tenenbaum. Church: A language for generative models. In phIn UAI, 2008.Google ScholarGoogle Scholar
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  9. O. Kiselyov and C. Shan. Embedded probabilistic programming. In Domain-Specific Languages, pages 360--384, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. D. Koller and N. Friedman. Probabilistic graphical models: principles and techniques. MIT press, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. A. McCallum, K. Schultz, and S. Singh. Factorie: Probabilistic programming via imperatively defined factor graphs. In Neural Information Processing Systems Conference (NIPS), 2009.Google ScholarGoogle Scholar
  12. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  13. A. Pfeffer. IBAL: A probabilistic rational programming language. In International Joint Conference on Artificial Intelligence (IJCAI), pages 733--740. Morgan Kaufmann Publ., 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. A. Pfeffer. Figaro: An object-oriented probabilistic programming language. Charles River Analytics Technical Report, 2009.Google ScholarGoogle Scholar
  15. D. Poole. The independent choice logic and beyond. Probabilistic inductive logic programming, pages 222--243, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. M. Richardson and P. Domingos. Markov logic networks. Machine Learning, 62: 107--136, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. T. Sato and Y. Kameya. PRISM: A symbolic-statistical modeling language. In International Joint Conference on Artificial Intelligence (IJCAI), 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. A. Stuhlmüller and N. Goodman. A dynamic programming algorithm for inference in recursive probabilistic programs. arXiv preprint arXiv:1206.3555, 2012.Google ScholarGoogle Scholar
  19. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  20. 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 ScholarGoogle Scholar
  21. L. Yang, P. Hanrahan, and N. Goodman. Incrementalizing mcmc on probabilistic programs through tracing and slicing. Under review.Google ScholarGoogle Scholar
  22. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. The principles and practice of probabilistic programming

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    • Published in

      cover image ACM SIGPLAN Notices
      ACM SIGPLAN Notices  Volume 48, Issue 1
      POPL '13
      January 2013
      561 pages
      ISSN:0362-1340
      EISSN:1558-1160
      DOI:10.1145/2480359
      Issue’s Table of Contents
      • cover image ACM Conferences
        POPL '13: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
        January 2013
        586 pages
        ISBN:9781450318327
        DOI:10.1145/2429069

      Copyright © 2013 Author

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 23 January 2013

      Check for updates

      Qualifiers

      • keynote

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader