A Downward Translation in the Polynomial Hierarchy.

Edith Hemaspaandra Lane A. Hemaspaandra Harald Hempel

Published in: STACS (1997)

Keyphrases

polynomial hierarchy
disjunctive logic programming
answer sets
dnf formulas
query translation
logic programs
phase transition