Description Logics with Pointwise Circumscription F Di Stefano, M Ortiz, M Šimkus IJCAI, 2023 | 3 | 2023 |
Pointwise Circumscription in Description Logics F Di Stefano, M Ortiz, M Šimkus 35th International Workshop on Description Logics, DL 2022, Haifa, Israel …, 2022 | 2 | 2022 |
Circumscription in DL-Lite: Progress Report P Bonatti, F Di Stefano, M Ortiz, M Šimkus 36th International Workshop on Description Logics, DL 2023, Rhodes, Greece …, 2023 | 1 | 2023 |
Stable Model Semantics for Description Logic Terminologies F Di Stefano, M Šimkus Proceedings of the AAAI Conference on Artificial Intelligence 38 (9), 10484 …, 2024 | | 2024 |
Unification in Łukasiewicz Logic with a Finite Number of Variables M Abbadini, F Di Stefano, L Spada Information Processing and Management of Uncertainty in Knowledge-Based …, 2020 | | 2020 |