Pages that link to "Item:Q2815247"
From MaRDI portal
The following pages link to On the complexity of (restricted) \(\mathcal{ALCI}r\) (Q2815247):
Displaying 4 items.
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137) (← links)
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- The complexity of finite model reasoning in description logics (Q2486582) (← links)
- Automated Deduction – CADE-19 (Q5900710) (← links)