PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) |
scientific article |
Statements
PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (English)
0 references
5 July 2013
0 references