Fuzzydl
From MaRDI portal
Software:23649
swMATH11709MaRDI QIDQ23649FDOQ23649
Author name not available (Why is that?)
Cited In (21)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
- Quantifying sequential subsumption
- Supporting Fuzzy Rough Sets in Fuzzy Description Logics
- Statistical Relational Learning with Soft Quantifiers
- Reasoning in fuzzy description logics using automata
- A description logic approach for representing and reasoning on fuzzy object-oriented database models
- The limits of decidability in fuzzy description logics with general concept inclusions
- Generalized fuzzy rough description logics
- Transforming Fuzzy Description Logic $\mathcal{ALC}_\mathcal{FL}$ into Classical Description Logic $\mathcal{ALCH}$
- Reasoning within expressive fuzzy rough description logics
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- Fuzzy description logics under Gödel semantics
- On similarity in fuzzy description logics
- Optimising fuzzy description logic reasoners with general concept inclusion absorption
- On the failure of the finite model property in some fuzzy description logics
- On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
- Fuzzy description logics with general t-norms and datatypes
- Foundations of fuzzy logic and semantic web languages
- Soft quantification in statistical relational learning
- All About Fuzzy Description Logics and Applications
- From Fuzzy to Annotated Semantic Web Languages
This page was built for software: Fuzzydl
