Federica Di Stefano
Projektass.in(FWF) Dott.mag.
Role
-
PreDoc Researcher
Databases and Artificial Intelligence, E192-02
Publications
-
Circumscription in DL-Lite: Progress Report
/
Bonatti, P., Di Stefano, F., Ortiz, M., & Šimkus, M. (2023). Circumscription in DL-Lite: Progress Report. In O. Kutz, C. Lutz, & A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). CEUR-WS.org. https://doi.org/10.34726/5328
Download: PDF (1.28 MB)
Projects: KtoAPP (2018–2025) / OMEGA (2017–2022) -
Description Logics with Pointwise Circumscription
/
Di Stefano, F., Ortiz, M., & Šimkus, M. (2023). Description Logics with Pointwise Circumscription. In E. Elking (Ed.), Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 3167–3175). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/353
Download: PDF (193 KB)
Projects: KtoAPP (2018–2025) / OMEGA (2017–2022)