Publikacje

Conference: International Workshop on Description Logics

2024

• Jean Christoph Jung, Jędrzej Kołodziejski , Modal Separability of Fixpoint Formulae, 37th International Workshop on Description Logics, Bergen, Germany, 18 czerwca 2024 - 21 czerwca 2024, 3739 2024. Zobacz w PBN
• Quentin Manière, Marcin Przybyłko , Spectra of Cardinality Queries over Description Logic Knowledge Bases, 37th International Workshop on Description Logics, Bergen, Germany, 18 czerwca 2024 - 21 czerwca 2024. Zobacz w PBN