Fixed Points in Metric Semantics.

J. W. de Bakker

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

fixed point
dynamical systems
initial conditions
sufficient conditions
logic programming
linear logic
belief propagation
asymptotic properties
free energy
temporal difference learning
neural network
approximate value iteration
pairwise
probabilistic model
function approximation
bethe free energy