Bounded Fixed-Point Definability and Tabular Recognition of Languages.

Published in: CSL (1995)

Keyphrases

fixed point
sufficient conditions
object recognition
constraint databases
fixed point theorem
floating point
dynamical systems
expressive power
free energy
database
variational inequalities
higher order
databases
reinforcement learning
bayesian networks
similarity measure
bargaining solution