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

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.12.073
+Normal rank
@@ Property / OpenAlex ID @@
+W2106918710
@@ Property / OpenAlex ID: W2106918710 / rank @@
+Normal rank
@@ 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