Combining Deduction Modulo and Logics of Fixed-Point Definitions
David BaeldeGopalan NadathurPublished in: CoRR (2012)
Keyphrases
- fixed point
- inference rules
- sufficient conditions
- intuitionistic logic
- linear logic
- default logic
- dynamical systems
- floating point
- fixed point theorem
- modal logic
- belief propagation
- expressive power
- constraint databases
- three dimensional
- dynamic programming
- bargaining solution
- markov random field
- knowledge representation
- high quality
- variational inequalities
- policy iteration
- image sequences
- image processing