Concise justifications versus detailed proofs for description logic entailments
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Deutsch |
---|---|
Titel | Informatl Proceedings of the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR’21) |
Publikationsstatus | Veröffentlicht - 2021 |
Peer-Review-Status | Ja |