Description Logics with Pointwise Circumscription F Di Stefano, M Ortiz, M Šimkus IJCAI, 2023 | 6 | 2023 |
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 | 3 | 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 | 2 | 2024 |
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 |
Equilibrium Description Logics: Results on Complexity and Relations to Circumscription F Di Stefano, M Šimkus 21st International Conference on Principles of Knowledge Representation and …, 2024 | | 2024 |
Translating Equilibrium Description Logics into Circumscription F Di Stefano, M Šimkus 37th International Workshop on Description Logics, DL 2024, 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 |