Pages that link to "Item:Q2510175"

The following pages link to On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm (Q2510175):

Displaying 20 items.

• On finitely-valued fuzzy description logics (Q465589) (← links)
• Consistency reasoning in lattice-based fuzzy description logics (Q465592) (← links)
• Complexity of fuzzy answer set programming under Łukasiewicz semantics (Q465597) (← links)
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
• Similarity-based relaxed instance queries (Q901081) (← links)
• Reasoning in fuzzy description logics using automata (Q1677933) (← links)
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm (Q1679661) (← links)
• Optimising fuzzy description logic reasoners with general concept inclusion absorption (Q1697336) (← links)
• On transitive modal many-valued logics (Q2035340) (← links)
• MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
• On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions (Q2341257) (← links)
• Inconsistency-tolerant reasoning with OWL DL (Q2353974) (← links)
• Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics (Q2407932) (← links)
• The limits of decidability in fuzzy description logics with general concept inclusions (Q2512986) (← links)
• The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics (Q2938484) (← links)
• Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics (Q2964452) (← links)
• All About Fuzzy Description Logics and Applications (Q2970307) (← links)
• Introduction (Q5892200) (← links)
• Fuzzy OWL-Boost: learning fuzzy concept inclusions via real-valued boosting (Q6058113) (← links)
• On decidability of concept satisfiability in description logic with product semantics (Q6079414) (← links)