The Operators min and max on the Polynomial Hierarchy.

Harald HempelGerd Wechsung
Published in: Int. J. Found. Comput. Sci. (2000)
Keyphrases
  • polynomial hierarchy
  • disjunctive logic programming
  • dnf formulas
  • answer sets
  • dl lite
  • programming language
  • data complexity