Communicating ASP and the Polynomial Hierarchy.

Kim Bauters Steven Schockaert Dirk Vermeir Martine De Cock

Published in: LPNMR (2011)

Keyphrases

polynomial hierarchy
answer set programming
answer sets
logic programs
disjunctive logic programming
logic programming
dnf formulas
reasoning tasks
artificial intelligence
database
expert systems
np hard
stable model semantics