Pebble Games and Subroutines in Least Fixed Point Logic.

Gregory L. McColm

Published in: Inf. Comput. (1995)

Keyphrases

fixed point
linear logic
sufficient conditions
game playing
logic programming
dynamical systems
modal logic
floating point
game theoretic
game theory
free energy
fixed point theorem
belief propagation
default logic
high quality
constraint databases
variational inequalities
nash equilibria