Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

Beitragende

Details

OriginalspracheEnglisch
Herausgeber (Verlag)arXiv
Bandabs/2104.13138
PublikationsstatusVeröffentlicht - 2021
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

Externe IDs

ORCID /0000-0001-9936-0943/work/142658811
ORCID /0000-0002-4049-221X/work/142659890

Schlagworte