The Equational Logic of Fixed Points (Tutorial).

Stephen L. Bloom Zoltán Ésik

Published in: Theor. Comput. Sci. (1997)

Keyphrases

fixed point
linear logic
sufficient conditions
horn clauses
dynamical systems
logic programming
theorem proving
asymptotic properties
approximate value iteration
initial conditions
stationary points
temporal difference learning
modal logic
belief propagation
default logic
logical framework
reinforcement learning