The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains
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 37th International Workshop on Description Logics (DL 2024) |
Editors | Laura Giordano, Jean Christoph Jung, Ana Ozaki |
Publisher | CEUR-WS.org |
Volume | 3739 |
Publication status | Published - Jun 2024 |
Peer-reviewed | Yes |
External IDs
ORCID | /0000-0002-8623-6465/work/165454384 |
---|