Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic.
Katrin M. DannertErich GrädelMatthias NaafVal TannenPublished in: CoRR (2019)
Keyphrases
- fixed point
- logic programming
- linear logic
- logical framework
- floating point
- sufficient conditions
- provenance information
- logic programs
- dynamical systems
- belief propagation
- classical logic
- fixed point theorem
- fine grained
- knowledge base
- reasoning tasks
- closure operator
- constraint databases
- set theory
- policy iteration
- logical properties
- graphical models