Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic.

Katrin M. Dannert Erich Grädel Matthias Naaf Val Tannen

Published 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