A Downward Collapse within the Polynomial Hierarchy

Edith Hemaspaandra Lane A. Hemaspaandra Harald Hempel

Published in: CoRR (1999)

Keyphrases

polynomial hierarchy
disjunctive logic programming
answer sets
dnf formulas
phase transition
supervised learning
programming language
logic programs
orders of magnitude
constraint satisfaction
dl lite