Beyond NP: Quantifying over Answer Sets.
Giovanni AmendolaFrancesco RiccaMiroslaw TruszczynskiPublished in: Theory Pract. Log. Program. (2019)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- extended logic programs
- polynomial hierarchy
- computational complexity
- fixpoint
- logic program updates
- answer set programs
- normal logic programs
- np complete
- counter examples
- first order logic
- np hard
- orders of magnitude
- loop formulas
- programming language
- semantics of logic programs