The following pages link to (Q3533554):
Displaying 22 items.
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← 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)
- 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)
- Fuzzy description logics under Gödel semantics (Q962867) (← links)
- A formal framework for description logics with uncertainty (Q962955) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
- Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics (Q990981) (← links)
- Fuzzy description logics with general t-norms and datatypes (Q1043321) (← links)
- Reasoning in fuzzy description logics using automata (Q1677933) (← links)
- Optimising fuzzy description logic reasoners with general concept inclusion absorption (Q1697336) (← links)
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← 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)
- 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)
- Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm (Q3605534) (← links)
- Introduction (Q5892200) (← links)
