Solving Problems in the Polynomial Hierarchy with ASP(Q).

Giovanni Amendola Bernardo Cuteri Francesco Ricca Mirek Truszczynski

Published in: LPNMR (2022)

Keyphrases

solving problems
polynomial hierarchy
answer set programming
answer sets
logic programs
disjunctive logic programming
logic programming
dnf formulas
reasoning tasks
stable models
dl lite
stable model semantics
phase transition
theoretical analysis
semantic web
object oriented
machine learning