An extension of pointwise circumscription (Q2676573): Difference between revisions

@@ Property / cites work @@
+Q4692931
@@ Property / cites work: Q4692931 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient method for eliminating varying predicates from a circumscription
+Normal rank
@@ Property / cites work @@
+Q4692605
@@ Property / cites work: Q4692605 / rank @@
+Normal rank
@@ Property / cites work @@
+A circumscriptive theorem prover
@@ Property / cites work: A circumscriptive theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830545
@@ Property / cites work: Q3830545 / rank @@
+Normal rank
@@ Property / cites work @@
+Conservative query normalization on parallel circumscription
+Normal rank
@@ Property / cites work @@
+Circumscription: Completeness reviewed
@@ Property / cites work: Circumscription: Completeness reviewed / rank @@
+Normal rank
@@ Property / cites work @@
+Some computational aspects of circumscription
@@ Property / cites work: Some computational aspects of circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+On the satisfiability of circumscription
@@ Property / cites work: On the satisfiability of circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q4012238
@@ Property / cites work: Q4012238 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for circumscription
@@ Property / cites work: Completeness results for circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm to compute circumscription
@@ Property / cites work: An algorithm to compute circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of collapsible cases of circumscription
+Normal rank