The following pages link to (Q4263156):
Displaying 5 items.
- Comparative study of variable precision rough set model and graded rough set model (Q433500) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting (Q2211383) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- Description Logics (Q3638996) (← links)
