Pages that link to "Item:Q1043321"

The following pages link to Fuzzy description logics with general t-norms and datatypes (Q1043321):

Displaying 25 items.

• Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
• Generalized fuzzy rough description logics (Q454980) (← links)
• On finitely-valued fuzzy description logics (Q465589) (← links)
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
• Model checking fuzzy computation tree logic (Q529056) (← links)
• On the failure of the finite model property in some fuzzy description logics (Q549343) (← links)
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) (Q632777) (← links)
• Triangular norm based graded convex fuzzy sets (Q691720) (← links)
• Fuzzy description logics under Gödel semantics (Q962867) (← links)
• Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics (Q990981) (← links)
• Reasoning in fuzzy description logics using automata (Q1677933) (← links)
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm (Q1679661) (← links)
• On similarity in fuzzy description logics (Q1697333) (← links)
• Optimising fuzzy description logic reasoners with general concept inclusion absorption (Q1697336) (← links)
• MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
• Certain information granule system as a result of sets approximation by fuzzy context (Q2283283) (← links)
• On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions (Q2341257) (← 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)
• From Fuzzy to Annotated Semantic Web Languages (Q2970305) (← links)
• All About Fuzzy Description Logics and Applications (Q2970307) (← links)
• On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm (Q3172882) (← links)
• JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS (Q4650066) (← links)