Pages that link to "Item:Q4487262"

The following pages link to Practical reasoning for very expressive description logics (Q4487262):

Displaying 4 items.

• PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
• Fuzzy description logics with general t-norms and datatypes (Q1043321) (← links)
• EXPtime tableaux for ALC (Q1589576) (← links)
• Foundations of Onto-Relational Learning (Q3543274) (← links)