Counter Model Transformation for Explaining Non-Subsumption in EL
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021 |
| Redakteure/-innen | Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm |
| Herausgeber (Verlag) | CEUR-WS.org |
| Seiten | 9-22 |
| Seitenumfang | 14 |
| Band | 2961 |
| Publikationsstatus | Veröffentlicht - 2021 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | CEUR Workshop Proceedings |
|---|---|
| Band | 2961 |
| ISSN | 1613-0073 |