Concise Justifications Versus Detailed Proofs for Description Logic Entailments

Publikation: Vorabdruck/Dokumentation/Bericht › Arbeitspapier

Beitragende

Details

OriginalspracheEnglisch
ErscheinungsortDresden, Germany
PublikationsstatusVeröffentlicht - 2021

Publikationsreihe

ReiheLTCS-Report
Band21-05
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

Schlagworte