Sampling First Order Logical Particles.

Hannaneh Hajishirzi Eyal Amir

Published in: UAI (2008)

Keyphrases

probabilistic logic
predicate calculus
logical theories
higher order
first order logic
random sampling
sampling algorithm
quantifier elimination
lambda calculus
data sets
parameter space
sampling strategy
stochastic dominance
sampling rate
proposal distribution
logical formulas