A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\) (Q2323444)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\) |
scientific article |
Statements
A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\) (English)
0 references
2 September 2019
0 references
epistemic logic
0 references
description logic
0 references
\(\mathcal{ALC}\)
0 references
tableau algorithm
0 references
\textsc{PSpace}
0 references
0 references
