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

  • Minimal Model Reasoning in Description Logics: Don’t Try This at Home! / Di Stefano, F., Manière, Q., Ortiz, M., & Simkus, M. (2025). Minimal Model Reasoning in Description Logics: Don’t Try This at Home! In M. Ortiz, R. Wassermann, & T. Schaub (Eds.), Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (pp. 271–280). IJCAI. https://doi.org/10.24963/kr.2025/27
    Projects: KtoAPP (2018–2025) / Ontegra (2024–2027)
  • Expressive Description Logics with Rich Yet Affordable Numeric Constraints / Di Stefano, F., Lukumbuzya, S., Ortiz, M., & Simkus, M. (2025). Expressive Description Logics with Rich Yet Affordable Numeric Constraints. In M. Ortiz, R. Wassermann, & T. Schaub (Eds.), Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (pp. 683–693). IJCAI. https://doi.org/10.24963/kr.2025/66
    Projects: KtoAPP (2018–2025) / Ontegra (2024–2027)
  • 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)