Pages that link to "Item:Q393137"
From MaRDI portal
The following pages link to Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137):
Displaying 4 items.
- On the complexity of the clone membership problem (Q2048213) (← links)
- On the complexity of (restricted) \(\mathcal{ALCI}r\) (Q2815247) (← links)
- Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ (Q3010434) (← links)
- Parametrised Complexity of Satisfiability in Temporal Logic (Q5278205) (← links)