Conservative query normalization on parallel circumscription (Q5210781): Difference between revisions

@@ 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 @@
+Q4012237
@@ Property / cites work: Q4012237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4008397
@@ Property / cites work: Q4008397 / 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 @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+An algorithm to compute circumscription
@@ Property / cites work: An algorithm to compute circumscription / rank @@
+Normal rank