TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Federica Di Stefano

Projektass.in(FWF) Dott.ssa mag.

Federica Di Stefano

Role

Contact

  • Stable Model Semantics for Description Logic Terminologies (Extended Abstract) / Di Stefano, F., & Simkus, M. (2024). Stable Model Semantics for Description Logic Terminologies (Extended Abstract). In Proceedings of the 37th International Workshop on Description Logics (DL 2024). Description Logics (DL 2024), Bergen, Norway. https://doi.org/10.34726/8504
    Download: PDF (1.04 MB)
    Project: KtoAPP (2018–2025)
  • 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)
  • Translating Equilibrium Description Logics into Circumscription / Di Stefano, F., & Simkus, M. (2024). Translating Equilibrium Description Logics into Circumscription. In Proceedings of the 37th International Workshop on Description Logics (DL 2024). Description Logics (DL 2024), Bergen, Norway. https://doi.org/10.34726/8505
    Download: PDF (1.06 MB)
    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)