Keyphrases
- logical theories
- predicate calculus
- probabilistic logic
- first order logic
- higher order
- model theoretic
- random sampling
- sampling algorithm
- proposal distribution
- monte carlo
- sampling methods
- data sets
- sampling strategies
- sampled data
- sample size
- databases
- multi objective
- decision diagrams
- machine learning
- logical formulas
- logical reasoning
- logical rules
- stochastic dominance
- database
- lambda calculus
- universally quantified