Federica Di Stefano
Projektass.in(FWF) Dott.ssa mag.
Role
-
PreDoc Researcher
Databases and Artificial Intelligence, E192-02
Publications
-
Stable Model Semantics for Description Logic Terminologies
/
Di Stefano, F., & Simkus, M. (2024). Stable Model Semantics for Description Logic Terminologies. In Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI-24) (pp. 10484–10492). https://doi.org/10.1609/aaai.v38i9.28917
Project: KtoAPP (2018–2025) -
Equilibrium Description Logics: Results on Complexity and Relations to Circumscription
/
Di Stefano, F., & Simkus, M. (2024). Equilibrium Description Logics: Results on Complexity and Relations to Circumscription. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) (pp. 306–316). https://doi.org/10.24963/kr.2024/29
Download: PDF (216 KB)
Project: KtoAPP (2018–2025) -
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)