Terminological reasoning is inherently intractable (Q2638816): Difference between revisions

@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of terminological reasoning in BACK
+Normal rank
@@ Property / cites work @@
+Q4013976
@@ Property / cites work: Q4013976 / rank @@
+Normal rank
@@ Property / cites work @@
+A four-valued semantics for terminological logics
@@ Property / cites work: A four-valued semantics for terminological logics / rank @@
+Normal rank
@@ Property / cites work @@
+Linear unification
@@ Property / cites work: Linear unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493318
@@ Property / cites work: Q3493318 / rank @@
+Normal rank