Keyphrases
- fixed point
- linear logic
- sufficient conditions
- approximate value iteration
- temporal difference learning
- asymptotic properties
- logic programming
- dynamical systems
- belief propagation
- stationary points
- logical framework
- pairwise
- function approximation
- initial conditions
- default logic
- graphical models
- input image
- search space