Characterizing D-WFS: Confluence and iterated GCWA (Q5236439): Difference between revisions

@@ Property / cites work @@
+Logic programming and negation: A survey
@@ Property / cites work: Logic programming and negation: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of the stable semantics by partial evaluation
+Normal rank
@@ Property / cites work @@
+Generalized disjunctive well-founded semantics for logic programs.
+Normal rank
@@ Property / cites work @@
+Q4327612
@@ Property / cites work: Q4327612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225120
@@ Property / cites work: Q4225120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016556
@@ Property / cites work: Q4016556 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of nonmonotonic reasoning and logic programming
+Normal rank
@@ Property / cites work @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank
@@ Property / cites work @@
+Three-valued nonmonotonic formalisms and semantics of logic programs
+Normal rank
@@ Property / cites work @@
+Static semantics for normal and disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Weak generalized closed world assumption
@@ Property / cites work: Weak generalized closed world assumption / rank @@
+Normal rank
@@ Property / cites work @@
+A procedural semantics for well-founded negation in logic programs
+Normal rank
@@ Property / cites work @@
+Inferring negative information from disjunctive databases
+Normal rank
@@ Property / cites work @@
+Partial deduction in disjunctive logic programming
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+A three-valued semantics for deductive databases and logic programs
+Normal rank