Generalizations of Opt P to the Polynomial Hierarchy.

Mark W. Krentel

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

Keyphrases

polynomial hierarchy
answer sets
disjunctive logic programming
dnf formulas
logic programs
logic programming
optimal solution
active learning
phase transition