Using Last Fixed Points to Characterize Formal Computations of Non-Deterministic Equations.

Published in: ICFPC (1981)

Keyphrases

fixed point
temporal difference learning
linear logic
sufficient conditions
dynamical systems
approximate value iteration
asymptotic properties
initial conditions
differential equations
free energy
image sequences
probabilistic model
logic programs
belief propagation
stationary points