Pages that link to "Item:Q1863829"
From MaRDI portal
The following pages link to A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains (Q1863829):
Displaying 6 items.
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\) (Q2323444) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- Coalition Description Logic with Individuals (Q3185771) (← links)
- A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains (Q4982117) (← links)
