Pages that link to "Item:Q2904059"
From MaRDI portal
The following pages link to Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\) (Q2904059):
Displaying 7 items.
- Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes (Q438566) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- On the positive fragment of the polymodal provability logic GLP (Q2435945) (← links)
- A Note on Strictly Positive Logics and Word Rewriting Systems (Q5214732) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)
