Generalized closed world assumption is \(\Pi ^ 0_ 2\)-complete (Q910251): Difference between revisions

@@ Property / cites work @@
+Q3960112
@@ Property / cites work: Q3960112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340205
@@ Property / cites work: Q3340205 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relationship between circumscription and negation as failure
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak generalized closed world assumption
@@ Property / cites work: Weak generalized closed world assumption / rank @@
+Normal rank
@@ Property / cites work @@
+Q3820058
@@ Property / cites work: Q3820058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring negative information from disjunctive databases
+Normal rank
@@ Property / cites work @@
+Decidability and definability with circumscription
+Normal rank
@@ Property / cites work @@
+Q5750391
@@ Property / cites work: Q5750391 / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction in non-Horn databases
@@ Property / cites work: Deduction in non-Horn databases / rank @@
+Normal rank