3 papers
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…
cs.SE2002
Exporting Prolog source code
Nicos Angelopoulos
In this paper we present a simple source code configuration tool. ExLibris operates on libraries and can be used to extract from local libraries all code relevant to a particular p…