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):
Displaying 6 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)
