Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model.

Teodor C. Przymusinski

Published in: PODS (1989)

Keyphrases

fixed point
logic programs
database
probabilistic model
knowledge base
reinforcement learning
probability distribution
higher order