The following pages link to EXPtime tableaux for ALC (Q1589576):
Displayed 5 items.
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description) (Q3541710) (← links)