Tabling with Sound Answer Subsumption (Q4593070): Difference between revisions

@@ Property / cites work @@
+Q4738112
@@ Property / cites work: Q4738112 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Greedoids
@@ Property / cites work: Greedoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Partially Ordered Sets
@@ Property / cites work: Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3135082
@@ Property / cites work: Q3135082 / rank @@
+Normal rank
@@ Property / cites work @@
+The YAP Prolog system
@@ Property / cites work: The YAP Prolog system / rank @@
+Normal rank
@@ Property / cites work @@
+Tabling for non-monotonic programming
@@ Property / cites work: Tabling for non-monotonic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Tabling with Answer Subsumption: Implementation, Applications and Performance
+Normal rank
@@ Property / cites work @@
+XSB: Extending Prolog with Tabled Logic Programming
+Normal rank
@@ Property / cites work @@
+The language features and architecture of B-Prolog
+Normal rank