Towards Practical Uniform Interpolation and Forgetting for~ALC TBoxes

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

Beitragende

Details

OriginalspracheEnglisch
TitelProceedings of the 26th International Workshop on Description Logics (DL-2013)
Seiten377-389
Seitenumfang13
PublikationsstatusVeröffentlicht - 2013
Peer-Review-StatusJa

Publikationsreihe

ReiheCEUR Workshop Proceedings
Band1014
ISSN1613-0073