The following pages link to (Q3351355):
Displayed 8 items.
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- A framework for intuitionistic grammar logics (Q2695538) (← links)
- On Hierarchical Task Networks (Q2835901) (← links)
- A short biography of Luis Fariñas del Cerro (Q4586226) (← links)
- A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- An Extension of Complex Role Inclusion Axioms in the Description Logic $\mathcal{SROIQ}$ (Q5747785) (← links)