Login / Signup
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