Equivalence between answer-set programs under (partially) fixed input (Q1783736): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-017-9567-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2767502925
@@ Property / OpenAlex ID: W2767502925 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59607521
@@ Property / Wikidata QID: Q59607521 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Strong equivalence made easy: nested expressions and weight constraints
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical characterizations and complexity of equivalences in answer set programming
+Normal rank
@@ Property / cites work @@
+A common view on strong, uniform, and other notions of equivalence in answer-set programming
+Normal rank
@@ Property / cites work @@
+Relativized hyperequivalence of logic programs for modular programming
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity Aspects of Disjunctive Stable Models
@@ Property / cites work: Modularity Aspects of Disjunctive Stable Models / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Model-based recasting in answer-set programming
@@ Property / cites work: Model-based recasting in answer-set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence Between Answer-Set Programs Under (Partially) Fixed Input
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / DBLP publication ID @@
+journals/amai/BliemW18
@@ Property / DBLP publication ID: journals/amai/BliemW18 / rank @@
+Normal rank