Finding Proofs for Description Logic Entailments in Practice (Extended Abstract)
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Deutsch |
---|---|
Titel | Informal Proceedings of the 1st Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2020) |
Publikationsstatus | Veröffentlicht - 2020 |
Peer-Review-Status | Ja |
Externe IDs
ORCID | /0000-0001-9936-0943/work/142238124 |
---|