The following pages link to (Q5192939):
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)
- A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics (Q3192965) (← links)
- Logic-Based Roughification (Q5245185) (← links)