Pages that link to "Item:Q3172882"
From MaRDI portal
The following pages link to On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm (Q3172882):
Displayed 12 items.
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics (Q518606) (← links)
- Reasoning in fuzzy description logics using automata (Q1677933) (← links)
- The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm (Q1679661) (← 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)
- 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)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- On decidability of concept satisfiability in description logic with product semantics (Q6079414) (← links)