Semantical characterizations and complexity of equivalences in answer set programming.
Thomas EiterMichael FinkStefan WoltranPublished in: ACM Trans. Comput. Log. (2007)
Keyphrases
- answer set programming
- logic programs
- logic programming
- answer sets
- constraint logic programming
- answer set programs
- stable model semantics
- causal theories
- reasoning tasks
- haplotype inference
- stable models
- computational complexity
- polynomial hierarchy
- relational algebra
- classical logic
- default theories
- search algorithm
- space complexity
- update semantics
- decision problems