Automata for Guarded Fixed Point Logics.
Dietmar BerwangerAchim BlumensathPublished in: Automata, Logics, and Infinite Games (2001)
Keyphrases
- fixed point
- default logic
- expressive power
- modal logic
- inference rules
- constraint databases
- sufficient conditions
- dynamical systems
- floating point
- belief propagation
- fixed point theorem
- variational inequalities
- finite state
- policy iteration
- free energy
- decision procedures
- computer vision
- least squares
- bargaining solution