Logic Programs under Three-Valued Łukasiewicz Semantics (Q5325771): Difference between revisions

@@ Property / cites work @@
+Reasoning about termination of pure Prolog programs
+Normal rank
@@ Property / cites work @@
+Q4806970
@@ Property / cites work: Q4806970 / rank @@
+Normal rank
@@ Property / cites work @@
+A kripke-kleene semantics for logic programs*
@@ Property / cites work: A kripke-kleene semantics for logic programs* / rank @@
+Normal rank
@@ Property / cites work @@
+Metric Methods Three Examples and a Theorem
@@ Property / cites work: Metric Methods Three Examples and a Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955347
@@ Property / cites work: Q4955347 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412245
@@ Property / cites work: Q4412245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3134502
@@ Property / cites work: Q3134502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3334069
@@ Property / cites work: Q3334069 / rank @@
+Normal rank
@@ Property / cites work @@
+A three-valued semantics for logic programmers
@@ Property / cites work: A three-valued semantics for logic programmers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922134
@@ Property / cites work: Q3922134 / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank