Federica Di Stefano

13 papers A* 5Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2025 A* conf
Expressive Description Logics with Rich Yet Affordable Numeric Constraints.
KR
Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2025 A* conf
Minimal Model Reasoning in Description Logics: Don't Try This at Home!
KR
Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus
2025 J jnl
Minimal Model Reasoning in Description Logics: Don't Try This at Home!
CoRR
Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus
2025 — conf
Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract).
DL
Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus
2025 — conf
Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract).
DL
Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
2024 A* conf
Equilibrium Description Logics: Results on Complexity and Relations to Circumscription.
KR
Federica Di Stefano, Mantas Simkus
2024 — conf
Stable Model Semantics for Description Logic Terminologies (Extended Abstract).
Description Logics
Federica Di Stefano, Mantas Simkus
2024 A* conf
Stable Model Semantics for Description Logic Terminologies.
AAAI
Federica Di Stefano, Mantas Simkus
2024 — conf
Translating Equilibrium Description Logics into Circumscription.
Description Logics
Federica Di Stefano, Mantas Simkus
2023 — conf
Circumscription in DL-Lite: Progress Report.
Description Logics
Piero A. Bonatti, Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
2023 A* conf
Description Logics with Pointwise Circumscription.
IJCAI
Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
2022 — conf
Pointwise Circumscription in Description Logics.
Description Logics
Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
2020 — conf
Unification in Łukasiewicz Logic with a Finite Number of Variables.
IPMU (3)
Marco Abbadini, Federica Di Stefano, Luca Spada