When are probabilistic programs probably computationally tractable? (pdf) (bibtex)

C. E. Freer, V. K. Mansinghka, D. M. Roy: NIPS Workshop on Monte Carlo Methods for Modern Applications #probabilistic programming
@article{C.E.Freer:2010:f8bd8,
author = {C. E. Freer and V. K. Mansinghka and D. M. Roy},
journal = {NIPS Workshop on Monte Carlo Methods for Modern Applications},
title = {When are probabilistic programs probably computationally tractable? },
year = {2010},
keywords = {probabilistic programming},
doi = {},
url = {http://danroy.org/papers/FreerManRoy-NIPSMC-2010.pdf}
}

Towards common-sense reasoning via conditional simulation: Legacies of Turing in Artificial Intelligence (web) (bibtex)

C. E. Freer, D. M. Roy, J. B. Tenenbaum: Turing's Legacy (ASL Lecture Notes in Logic) #probabilistic programming, #artificial intelligence, #reasoning, #decision making, #structure learning
@article{C.E.Freer:2012:ed3e0,
author = {C. E. Freer and D. M. Roy and J. B. Tenenbaum},
journal = {Turing's Legacy (ASL Lecture Notes in Logic)},
title = {Towards common-sense reasoning via conditional simulation: Legacies of Turing in Artificial Intelligence},
year = {2012},
keywords = {probabilistic programming, artificial intelligence, reasoning, decision making, structure learning},
doi = {},
url = {http://arxiv.org/abs/1212.4799}
}

Computable exchangeable sequences have computable de Finetti measures (pdf)(doi) (bibtex)

C. E. Freer, D. M. Roy: Computability in Europe (CiE) #de finetti, #exchangeability, #computable probability theory, #probabilistic programming, #mutation
@article{C.E.Freer:2009:e8caa,
author = {C. E. Freer and D. M. Roy},
journal = {Computability in Europe (CiE)},
title = {Computable exchangeable sequences have computable de Finetti measures},
year = {2009},
keywords = {de finetti, exchangeability, computable probability theory, probabilistic programming, mutation},
doi = {10.1007/978-3-642-03073-4_23},
url = {http://danroy.org/papers/FreerRoy-CIE-2009.pdf}
}