Hyperequivalence of logic programs with respect to supported models (Q1028652): Difference between revisions

@@ Property / cites work @@
+Q4385536
@@ Property / cites work: Q4385536 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of the disjunctive stable semantics by partial evaluation
+Normal rank
@@ Property / cites work @@
+Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
+Normal rank
@@ Property / cites work @@
+Characterization of strongly equivalent logic programs in intermediate logics
+Normal rank
@@ Property / cites work @@
+Q4022222
@@ Property / cites work: Q4022222 / 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 @@
+Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
+Normal rank
@@ Property / cites work @@
+Negation as failure in the head
@@ Property / cites work: Negation as failure in the head / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3970695
@@ Property / cites work: Q3970695 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Q5750425
@@ Property / cites work: Q5750425 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624060
@@ Property / cites work: Q3624060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Relativized Hyperequivalence of Logic Programs for Modular Programming
+Normal rank
@@ Property / cites work @@
+Q5202996
@@ Property / cites work: Q5202996 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
+Normal rank
@@ Property / cites work @@
+Strong equivalence made easy: nested expressions and weight constraints
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+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 @@
+Q3624114
@@ Property / cites work: Q3624114 / rank @@
+Normal rank