Pages that link to "Item:Q2486582"

The following pages link to The complexity of finite model reasoning in description logics (Q2486582):

Displaying 2 items.

• Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots (Q414848) (← links)
• Reasoning about graded strategy quantifiers (Q1706169) (← links)