Searching for "Equivalence in Answer Set Programming." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Equivalence in Answer Set Programming
- …18 Equivalence in Answer Set Programming Mauricio Osorio 1 , Juan Antonio Navarro 2 , Jose…
- Cited by 18 (3 self) – Add To MetaCart
-
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming
- …Semantical Characterizations and Complexity of Equivalences in Answer Set Programming THOMAS EITER…
- Cited by 8 (4 self) – Add To MetaCart
-
Strong and uniform equivalence in answer-set programming: Characterizations and complexity results
- …Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results…
- Cited by 8 (8 self) – Add To MetaCart
-
Strong equivalence for logic programs with preferences
- …, strong equivalence for Answer Set Programming has been studied intensively, and was shown…
- Cited by 3 (0 self) – Add To MetaCart
-
Tight Logic Programs
- … guarantees the equivalence of the answer set semantics to the completion semantics. This program has two…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 5.
