Federica Di Stefano

Federica Di Stefano is a PreDoc Researcher at the Knowledge-Based Systems Group (E192-03) of Vienna University of Technology, actively contributing to research in Artificial Intelligence and Knowledge Representation. She is affiliated with two major projects: KtoAPP (2018–2025) and OMEGA (2017–2022).

Her research focuses on extending Description Logics with non-monotonic reasoning techniques, particularly stable model semantics and circumscription. Key areas include:

• Complexity analysis of equilibrium reasoning
• Translation between non-monotonic formalisms
• Pointwise circumscription in DL-Lite
• Applications to semantic web technologies

Federica collaborates with researchers like Marcello Simkus, Magdalena Ortiz, and others, publishing in venues such as AAAI, IJCAI, and KR Conference. Her work bridges formal logic with practical knowledge representation systems.