A Fixpoint Theory for Non-monotonic Parallelism.

Published in: CSL (2002)

Keyphrases

fixpoint
logic programs
deductive databases
proof theoretic
finite state machines
model theoretic
semantics of logic programs
datalog programs
integrity constraints
stable models
recursive queries
fixpoint semantics
answer sets
databases
nonmonotonic reasoning