Fixed points and unfounded chains.

Claudio Bernardi

Published in: Ann. Pure Appl. Log. (2001)

Keyphrases

fixed point
logic programs
temporal difference learning
answer sets
dynamical systems
approximate value iteration
sufficient conditions
initial conditions
belief propagation
linear logic
neural network
graphical models
free energy
objective function
probabilistic model
post processing