Properties of General Semantic Operators Determined by Logic-Based Systems (Q4982061): Difference between revisions

@@ Property / cites work @@
+A simple fixed point characterization of three-valued stable model semantics
+Normal rank
@@ Property / cites work @@
+Q3975936
@@ Property / cites work: Q3975936 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene's Logic, Generalized
@@ Property / cites work: Kleene's Logic, Generalized / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics for logic programming a survey
@@ Property / cites work: Fixpoint semantics for logic programming a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955347
@@ Property / cites work: Q4955347 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457805
@@ Property / cites work: Q4457805 / rank @@
+Normal rank