Sign in
A Fixpoint Theory for Non-monotonic Parallelism.
Yifeng Chen
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