The following pages link to (Q4627753):
Displaying 11 items.
- The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm (Q1679661) (← links)
- On similarity in fuzzy description logics (Q1697333) (← links)
- Reasoning within fuzzy OWL 2 EL revisited (Q1795363) (← links)
- Fudge: fuzzy ontology building with consensuated fuzzy datatypes (Q2035314) (← links)
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← links)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
- Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics (Q2407932) (← links)
- (Q5093383) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- Fuzzy OWL-Boost: learning fuzzy concept inclusions via real-valued boosting (Q6058113) (← links)
- Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics (Q6496169) (← links)
