Fixed-Point Quantifiers in Higher Order Logics.
Klaus-Dieter ScheweJose Maria Turull TorresPublished in: EJC (2005)
Keyphrases
- fixed point
- higher order
- anti unification
- first order logic
- inference rules
- default logic
- expressive power
- markov random field
- modal logic
- natural images
- high order
- belief propagation
- pairwise
- fixed point theorem
- sufficient conditions
- similarity measure
- floating point
- policy iteration
- constraint databases
- bargaining solution
- three dimensional
- transitive closure
- free energy
- computer vision
- learning algorithm