Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880): Difference between revisions

@@ Property / cites work @@
+Natural 3-valued logics—characterization and proof theory
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Argumentation in artificial intelligence
@@ Property / cites work: Argumentation in artificial intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of the disjunctive stable semantics by partial evaluation
+Normal rank
@@ Property / cites work @@
+Semantics of (disjunctive) logic programs based on partial evaluation
+Normal rank
@@ Property / cites work @@
+Minimal Logic Programs
@@ Property / cites work: Minimal Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440555
@@ Property / cites work: Q4440555 / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of strongly equivalent logic programs in intermediate logics
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / 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 @@
+Q4514010
@@ Property / cites work: Q4514010 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624060
@@ Property / cites work: Q3624060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Weak Completions of Paraconsistent Logics
@@ Property / cites work: Logical Weak Completions of Paraconsistent Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808808
@@ Property / cites work: Q4808808 / rank @@
+Normal rank
@@ Property / cites work @@
+Ground Nonmonotonic Modal Logic S5: New Results
@@ Property / cites work: Ground Nonmonotonic Modal Logic S5: New Results / rank @@
+Normal rank
@@ Property / cites work @@
+Logics with Common Weak Completions
@@ Property / cites work: Logics with Common Weak Completions / rank @@
+Normal rank
@@ Property / cites work @@
+Stable inference as intuitionistic validity
@@ Property / cites work: Stable inference as intuitionistic validity / 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 @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing a logic for logic programming
@@ Property / cites work: Formalizing a logic for logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
+Normal rank
@@ Property / cites work @@
+Logic and structure
@@ Property / cites work: Logic and structure / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q5711869
@@ Property / cites work: Q5711869 / rank @@
+Normal rank