Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents

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

Beitragende

Details

OriginalspracheEnglisch
TitelProceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024)
Herausgeber (Verlag)ijcai.org
PublikationsstatusVeröffentlicht - 2024
Peer-Review-StatusJa