Finding Fixed Point Combinators Using Prolog.

Richard Rankin Ralph W. Wilkerson

Published in: SAC (1993)

Keyphrases

fixed point
dynamical systems
sufficient conditions
variational inequalities
dynamic programming
knowledge representation
policy iteration
floating point
belief propagation
fixed point theorem
free energy
logic programming
d objects
higher order
preprocessing
constraint databases
reinforcement learning