Keyphrases
- theorem prover
- maximum likelihood
- theorem proving
- automated theorem proving
- inference rules
- utility function
- natural deduction
- first order logic
- term rewriting
- higher order
- expected utility
- expectation maximization
- data sets
- special case
- equational theories
- sequent calculus
- utility theory
- evolutionary algorithm
- computer vision
- neural network