Lattice based Least Fixed Point Logic

Piotr Filipiuk Flemming Nielson Hanne Riis Nielson

Published in: CoRR (2012)

Keyphrases

fixed point
linear logic
dynamical systems
belief propagation
sufficient conditions
floating point
concept lattice
constraint databases
fixed point theorem
logic programming
default logic
policy iteration