Finding stable models via quantum computation.

David A. Meyer James Pommersheim Jeffrey B. Remmel

Published in: NMR (2004)

Keyphrases

stable models
quantum computation
logic programs
logic programming
normal logic programs
general theory
answer set programming
fixpoint
deductive databases
stable model semantics
derivation rules
logic programs with negation