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

Kexu Wang Shiguang Feng Xishun Zhao

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

polynomial hierarchy
disjunctive logic programming
answer sets
logic programming
modal logic
logic programs
automated reasoning
dnf formulas
artificial intelligence
database systems
search space
itemsets
constraint satisfaction