Uniform and Modular Sequent Systems for Description Logics
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 35th International Workshop on Description Logics (DL 2022) |
| Editors | Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier |
| Number of pages | 13 |
| Publication status | Published - 2022 |
| Peer-reviewed | Yes |
Publication series
| Series | CEUR Workshop Proceedings |
|---|---|
| Volume | 3263 |
| ISSN | 1613-0073 |
External IDs
| ORCID | /0000-0003-3214-0828/work/173054735 |
|---|