## C. E. Freer

- C. E. Freer, V. K. Mansinghka, D. M. Roy:

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

*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}

}

- C. E. Freer, D. M. Roy, J. B. Tenenbaum:

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

*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}

}

- C. E. Freer, D. M. Roy:

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

*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}

}

add/edit publications