Pages that link to "Item:Q928657"
From MaRDI portal
The following pages link to A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657):
Displaying 6 items.
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
