A Simple Fixpoint Argument Without the Restriction to Continuity.

Edsger W. Dijkstra A. J. M. van Gasteren

Published in: Acta Informatica (1986)

Keyphrases

fixpoint
logic programs
finite state machines
deductive databases
orders of magnitude
answer sets
stable models
database
database systems
domain knowledge
probability distribution
data exchange
update rule
proof theoretic