Pages that link to "Item:Q549343"
From MaRDI portal
The following pages link to On the failure of the finite model property in some fuzzy description logics (Q549343):
Displayed 12 items.
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- Consistency reasoning in lattice-based fuzzy description logics (Q465592) (← links)
- Complexity of fuzzy answer set programming under Łukasiewicz semantics (Q465597) (← links)
- Model checking fuzzy computation tree logic (Q529056) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
- Optimising fuzzy description logic reasoners with general concept inclusion absorption (Q1697336) (← 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)
- 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)