Semiring Provenance for Fixed-Point Logic.
Katrin M. DannertErich GrädelMatthias NaafVal TannenPublished in: CSL (2021)
Keyphrases
- fixed point
- linear logic
- truth values
- sufficient conditions
- dynamical systems
- bargaining solution
- belief propagation
- floating point
- fixed point theorem
- fine grained
- modal logic
- relational algebra
- constraint databases
- variational inequalities
- database
- logic programming
- image processing
- free energy
- default logic
- higher order