Counter Model Transformation for Explaining Non-Subsumption in EL

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelProceedings 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/-innenChristoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
Herausgeber (Verlag)CEUR-WS.org
Seiten9-22
Seitenumfang14
Band2961
PublikationsstatusVeröffentlicht - 2021
Peer-Review-StatusJa

Publikationsreihe

ReiheCEUR Workshop Proceedings