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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(90)90087-g
+Normal rank
@@ Property / OpenAlex ID @@
+W2057513565
@@ Property / OpenAlex ID: W2057513565 / rank @@
+Normal rank