Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics.
Alexei LisitsaPublished in: TIME (2011)
Keyphrases
- fixed point
- temporal patterns
- temporal data
- floating point
- default logic
- expressive power
- temporal information
- fixed point theorem
- dynamical systems
- objective function
- variational inequalities
- sufficient conditions
- sequential patterns
- constraint databases
- bargaining solution
- modal logic
- belief propagation
- multi view
- policy iteration
- image processing