A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames.

Giovanna D'Agostino Giacomo Lenzi

Published in: J. Log. Comput. (2008)

Keyphrases

fixed point
approximate value iteration
sufficient conditions
temporal difference learning
dynamical systems
belief propagation
linear logic
first order logic
initial conditions
free energy
asymptotic properties
stationary points
video frames
optimal solution
parameter estimation
knowledge representation
pairwise