Pages that link to "Item:Q3648732"
From MaRDI portal
The following pages link to Sound Global State Caching for ALC with Inverse Roles (Q3648732):
Displayed 4 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
- Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse (Q5747763) (← links)
- Optimized Description Logic Reasoning via Core Blocking (Q5747784) (← links)