Fast estimation of first-order clause coverage through randomization and maximum likelihood.
Ondrej KuzelkaFilip ZeleznýPublished in: ICML (2008)
Keyphrases
- maximum likelihood
- maximum likelihood estimation
- parameter estimation
- estimation algorithm
- log likelihood function
- horn clauses
- higher order
- maximum likelihood estimator
- expectation maximization
- em algorithm
- gaussian distribution
- neural network
- first order logic
- gaussian mixture model
- data sets
- maximum a posteriori