Concise justifications versus detailed proofs for description logic entailments

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelInformatl Proceedings of the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR’21)
Seitenumfang11
PublikationsstatusVeröffentlicht - 2021
Peer-Review-StatusJa

Schlagworte