Pages that link to "Item:Q631080"

The following pages link to Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080):

Displaying 3 items.

• Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
• Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$ (Q3052749) (← links)
• Automated Reasoning in $\mathcal{ALCQ}$ via SMT (Q5200031) (← links)