Pages that link to "Item:Q2386237"
From MaRDI portal
The following pages link to Making fuzzy description logic more general (Q2386237):
Displaying 50 items.
- Type-2 fuzzy description logic (Q352063) (← links)
- Generalized fuzzy rough description logics (Q454980) (← links)
- On finitely-valued fuzzy description logics (Q465589) (← links)
- Consistency reasoning in lattice-based fuzzy description logics (Q465592) (← 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)
- A family of Gödel hybrid logics (Q631082) (← links)
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) (Q632777) (← links)
- Strict core fuzzy logics and quasi-witnessed models (Q634776) (← links)
- Provability in predicate product logic (Q884950) (← links)
- Fuzzy description logics under Gödel semantics (Q962867) (← links)
- Standard Gödel modal logics (Q965908) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656) (← links)
- Relational compositions in fuzzy class theory (Q1037921) (← links)
- Fuzzy description logics with general t-norms and datatypes (Q1043321) (← links)
- Reasoning within expressive fuzzy rough description logics (Q1043323) (← 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)
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- On elementary equivalence in fuzzy predicate logics (Q1935367) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Logical characterizations of regular equivalence in weighted social networks (Q2014930) (← links)
- On transitive modal many-valued logics (Q2035340) (← links)
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← links)
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic (Q2237192) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← 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)
- Terminating calculi for propositional Dummett logic with subformula property (Q2352485) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics (Q2407932) (← links)
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants (Q2492318) (← links)
- The limits of decidability in fuzzy description logics with general concept inclusions (Q2512986) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← 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)
- On theories and models in fuzzy predicate logics (Q3410679) (← links)
- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics (Q3507415) (← links)
- Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm (Q3605534) (← links)
- Supporting Fuzzy Rough Sets in Fuzzy Description Logics (Q3638189) (← links)
- CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES (Q3638811) (← links)
