Tameness in least fixed-point logic and McColm's conjecture.

Siddharth Bhaskar Alex Kruckman

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

fixed point
linear logic
sufficient conditions
logic programming
floating point
dynamical systems
belief propagation
modal logic
constraint databases
policy iteration
database
bargaining solution
free energy
variational inequalities
higher order
three dimensional
knowledge base