Non-regular fixed-point logics and games.
Stephan KreutzerMartin LangePublished in: Logic and Automata (2008)
Keyphrases
- fixed point
- default logic
- expressive power
- sufficient conditions
- fixed point theorem
- dynamical systems
- game theory
- nash equilibria
- floating point
- game playing
- belief propagation
- modal logic
- bargaining solution
- variational inequalities
- policy iteration
- free energy
- game theoretic
- coalitional games
- similarity measure
- bayesian networks
- level set
- constraint databases
- computer vision