Q5020978 (Q5020978): Difference between revisions

@@ Property / cites work @@
+Dynamic updates of non-monotonic knowledge bases
@@ Property / cites work: Dynamic updates of non-monotonic knowledge bases / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of logic-based abduction
@@ Property / cites work: The complexity of logic-based abduction / rank @@
+Normal rank
@@ Property / cites work @@
+Two Fast Algorithms for Sparse Matrices: Multiplication and Permuted Transposition
+Normal rank
@@ Property / cites work @@
+A linear algebraic approach to datalog evaluation
@@ Property / cites work: A linear algebraic approach to datalog evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank