Beyond First-Order Satisfaction: Fixed Points, Interpolants, Automata and Polynomials.
Thomas BallNikolaj BjørnerLeonardo Mendonça de MouraKenneth L. McMillanMargus VeanesPublished in: SPIN (2012)
Keyphrases
- fixed point
- temporal difference learning
- first order logic
- sufficient conditions
- dynamical systems
- higher order
- approximate value iteration
- free energy
- asymptotic properties
- finite state
- computational geometry
- linear logic
- initial conditions
- optimal solution
- logic programs
- probabilistic model
- dynamic programming
- relational learning
- image processing
- closure operator
- neural network