1 citations · 2 across the 7 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.PL2013
Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems
Nicos Angelopoulos, Roberto Bagnara
This volume contains the papers presented at CICLOPS'12: 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems held on Tueseday September 4th,…
cs.AI2013
Markov Chain Monte Carlo using Tree-Based Priors on Model Structure
Nicos Angelopoulos, James Cussens
We present a general framework for defining priors on model structure and sampling from the posterior using the Metropolis-Hastings algorithm. The key idea is that structure priors…