On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions (Q2341257): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-014-9329-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1601173339
@@ Property / OpenAlex ID: W1601173339 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressivity of feature logics with negation, functional uncertainty, and sort equations
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+On the failure of the finite model property in some fuzzy description logics
+Normal rank
@@ Property / cites work @@
+On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
+Normal rank
@@ Property / cites work @@
+An overview of tableau algorithms for description logics
+Normal rank
@@ Property / cites work @@
+Q3533554
@@ Property / cites work: Q3533554 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy description logics with general t-norms and datatypes
+Normal rank
@@ Property / cites work @@
+On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
+Normal rank
@@ Property / cites work @@
+How Fuzzy Is My Fuzzy Description Logic?
@@ Property / cites work: How Fuzzy Is My Fuzzy Description Logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386924
@@ Property / cites work: Q4386924 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy description logics and \(t\)-norm based fuzzy logics
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Making fuzzy description logic more general
@@ Property / cites work: Making fuzzy description logic more general / rank @@
+Normal rank
@@ Property / cites work @@
+Triangular norms
@@ Property / cites work: Triangular norms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5465445
@@ Property / cites work: Q5465445 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+On the structure of semi-groups on a compact manifold with boundary
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717787
@@ Property / cites work: Q2717787 / rank @@
+Normal rank