Combining Proofs for Description Logic and Concrete Domain Reasoning (Extended Abstract)
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Titel | Informal Proceedings of the Explainable Logic-Based Knowledge Representation (XLoKR 2023) workshop |
Seitenumfang | 7 |
Publikationsstatus | Veröffentlicht - 2023 |
Peer-Review-Status | Ja |