Pages that link to "Item:Q5900604"
From MaRDI portal
The following pages link to Conceptual Structures for Knowledge Creation and Communication (Q5900604):
Displaying 9 items.
- Structural subsumption and least common subsumers in a description logic with existential and number restrictions (Q817690) (← links)
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) (Q1653445) (← links)
- NP reasoning in the monotone \(\mu\)-calculus (Q2096471) (← links)
- Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \) (Q2286398) (← links)
- A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in $\cal EL$ w.r.t. Hybrid TBoxes (Q3532475) (← links)
- Logics in Artificial Intelligence (Q5394140) (← links)
- Graph-Theoretic Concepts in Computer Science (Q5710798) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
- KI 2003: Advances in Artificial Intelligence (Q5897297) (← links)