Computing stable models in parallel.

Raphael A. Finkel Victor W. Marek Neil Moore Miroslaw Truszczynski

Published in: Answer Set Programming (2001)

Keyphrases

stable models
logic programs
logic programming
normal logic programs
fixpoint
answer set programming
stable model semantics
deductive databases
general theory
answer set programs
strong equivalence
relational databases
orders of magnitude
derivation rules
logic programs with negation