Login / Signup

Capturing the polynomial hierarchy by second-order revised Krom logic.

Shiguang FengKexu WangXishun ZhaoYuping Shen
Published in: CoRR (2022)
Keyphrases
  • polynomial hierarchy
  • answer sets
  • logic programming
  • disjunctive logic programming
  • logic programs
  • dnf formulas
  • probability theory
  • automated reasoning
  • answer set programming
  • fixpoint
  • computational properties