The limits of decidability in fuzzy description logics with general concept inclusions (Q2512986): Difference between revisions

@@ Property / describes a project that uses @@
+Fuzzydl
@@ Property / describes a project that uses: Fuzzydl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DeLorean
@@ Property / describes a project that uses: DeLorean / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2014.09.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2093797880
@@ Property / OpenAlex ID: W2093797880 / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Triangular norms
@@ Property / cites work: Triangular norms / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy description logics under Gödel semantics
@@ Property / cites work: Fuzzy description logics under Gödel semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy description logics with general t-norms and datatypes
+Normal rank
@@ Property / cites work @@
+Q2717787
@@ Property / cites work: Q2717787 / 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 @@
+On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
+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 @@
+How Fuzzy Is My Fuzzy Description Logic?
@@ Property / cites work: How Fuzzy Is My Fuzzy Description Logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated fuzzy logics with an involutive negation
+Normal rank
@@ Property / cites work @@
+On the structure of semi-groups on a compact manifold with boundary
+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 @@
+JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
+Normal rank
@@ Property / cites work @@
+DESCRIPTION LOGICS OVER LATTICES
@@ Property / cites work: DESCRIPTION LOGICS OVER LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Fuzzy Description Logics and Crisp Representations
+Normal rank
@@ Property / cites work @@
+Q5715707
@@ Property / cites work: Q5715707 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency reasoning in lattice-based fuzzy description logics
+Normal rank
@@ Property / cites work @@
+Q4012245
@@ Property / cites work: Q4012245 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy description logics and \(t\)-norm based fuzzy logics
+Normal rank
@@ Property / cites work @@
+Q3533554
@@ Property / cites work: Q3533554 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal framework for description logics with uncertainty
+Normal rank
@@ Property / cites work @@
+Hypertableau Reasoning for Description Logics
@@ Property / cites work: Hypertableau Reasoning for Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Caching, Backjumping and Merging for Expressive Description Logics
+Normal rank