On computing the fixpoint of a set of boolean equations

Viktor Kuncak K. Rustan M. Leino

Published in: CoRR (2004)

Keyphrases

fixpoint
logic programs
probability distribution
databases
natural language
stable models
fixed point
deductive databases
nonmonotonic reasoning