A fixpoint theory for non-monotonic parallelism.

Published in: Theor. Comput. Sci. (2003)

Keyphrases

fixpoint
logic programs
proof theoretic
deductive databases
model theoretic
finite state machines
semantics of logic programs
datalog programs
logic programming
inductive logic programming
horn clauses
machine learning
software engineering
bayesian networks
integrity constraints
recursive queries