Church: a language for generative models

A Set of Postulates for the Foundation of Logic

A. Church · 1932

Earlier work this paper cites.

A Basis for a Mathematical Theory of Computation

J. McCarthy · 1963

Earlier work this paper cites.

Definitional interpreters for higher-order programming

J.C. Reynolds · 1972

Earlier work this paper cites.

A Constructive definition of Dirichlet priors

J. Sethuraman · 1994

Earlier work this paper cites.

Structure and Interpretation of Computer Programs

H. Abelson and G. Sussman · 1996

Earlier work this paper cites.

Stochastic logic programs

S. Muggleton · 1996

Earlier work this paper cites.

PRISM: A symbolic-statistical modeling language

T. Sato and Y. Kameya · 1997

Earlier work this paper cites.

Revised 5

R. Kelsey, W. Clinger, and J. Rees (eds.) · 1998

Cited alongside, same era.

WinBUGS-A Bayesian modelling framework: Concepts, structure, and extensibility

D.J. Lunn, A. Thomas, N. Best, and D. Spiegelhalter · 2000

Cited alongside, same era.

IBAL: A probabilistic rational programming language

A. Pfeffer · 2001

Cited alongside, same era.

The infinite hidden Markov model

M.J. Beal, Z. Ghahramani, and C.E. Rasmussen · 2002

Cited alongside, same era.

Combinatorial stochastic processes, 2002

J. Pitman · 2002

Cited alongside, same era.

BLOG: Probabilistic models with unknown objects

B. Milch, B. Marthi, S. Russell, D. Sontag, D.L. Ong, and A. Kolobov · 2005

Cited alongside, same era.

Learning systems of concepts with an infinite relational model

Markov logic networks

M. Richardson and P. Domingos · 2006

Later among the works it cites.

Probabilistic inference for solving (PO)MDPs

M. Toussaint, S. Harmeling, and A. Storkey · 2006

Later among the works it cites.

Adaptor grammars: A framework for specifying compositional nonparametric Bayesian models

M. Johnson, T. Griffiths, and S. Goldwater · 2007

Later among the works it cites.

The Infinite PCFG using Hierarchical Dirichlet Processes

P. Liang, S. Petrov, M.I. Jordan, and D. Klein · 2007

Later among the works it cites.

Report on the probabilistic language scheme

A. Radul · 2007

Later among the works it cites.

Composable Probabilistic Inference with Blaise

K. A. Bonawitz · 2008

Later among the works it cites.