An Improved Algorithm for the Evaluation of Fixpoint Expressions.

David E. Long Anca Browne Edmund M. Clarke Somesh Jha Wilfredo R. Marrero

Published in: CAV (1994)

Keyphrases

fixpoint
logic programs
deductive databases
natural language
data mining
finite state machines
stable models
datalog programs
fixpoint semantics
answer sets
proof theoretic