## Semantical Characterizations and Complexity of Equivalences in Answer Set Programming (2007)

### Cached

### Download Links

- [www.kr.tuwien.ac.at]
- [haendel.kr.tuwien.ac.at]
- [www.kr.tuwien.ac.at]
- DBLP

### Other Repositories/Bibliography

Venue: | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC |

Citations: | 27 - 11 self |

### BibTeX

@TECHREPORT{Eiter07semanticalcharacterizations,

author = {Thomas Eiter and Michael Fink and Stefan Woltran},

title = {Semantical Characterizations and Complexity of Equivalences in Answer Set Programming},

institution = {ACM TRANSACTIONS ON COMPUTATIONAL LOGIC},

year = {2007}

}

### Years of Citing Articles

### OpenURL

### Abstract

In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R have the same answer sets for any other program R. This property strengthens the equivalence of P and Q with respect to answer sets (which is the particular case for R =∅), and has its applications in program optimization, verification, and modular logic programming. In this article, we consider more liberal notions of strong equivalence, in which the actual form of R may be syntactically restricted. On the one hand, we consider uniform equivalence where R is a set of facts, rather than a set of rules. This notion, which is well-known in the area of deductive databases, is particularly useful for assessing whether programs P and Q are equivalent as components of a logic program which is modularly structured. On the other hand, we consider relativized notions of equivalence where R ranges over rules over a fixed alphabet, and thus generalize our results to relativized notions of strong and uniform equivalence. For all these notions, we consider disjunctive logic programs in the propositional (ground) case as well as some restricted classes, providing semantical characterizations and analyzing the computational complexity. Our results, which naturally extend to answer set semantics for programs with strong negation, complement the results on strong