KR 2021 - On Free Description Logics with Definite Descriptions

preview_player
Показать описание
On Free Description Logics with Definite Descriptions
by Alessandro Artale, Andrea Mazzullo, Ana Ozaki and Frank Wolter
Session: Description Logics
Рекомендации по теме