Finding optimal derivation strategies in redundant knowledge bases (Q1182170): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484326
@@ Property / cites work: Q3484326 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789107
@@ Property / cites work: Q3789107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal problem-solving search: All-or-none solutions
+Normal rank
@@ Property / cites work @@
+Controlling backward inference
@@ Property / cites work: Controlling backward inference / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering conjunctive queries
@@ Property / cites work: Ordering conjunctive queries / rank @@
+Normal rank