Pages that link to "Item:Q2901214"
From MaRDI portal
The following pages link to <i>KALC</i>: a constructive semantics for <i>ALC</i> (Q2901214):
Displaying 5 items.
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- Towards constructive DL for abstraction and refinement (Q972423) (← links)
- Contextual rational closure for defeasible \(\mathcal{ALC} \) (Q2278101) (← links)
- A Simplified Self <i>m</i>‐AL Set of Primitive Functors for the <i>m</i>‐Valued Propositional Calculus (Q3843600) (← links)
- Constructive Description Logics Hybrid-Style (Q4917077) (← links)