Federica Di Stefano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | KR | Expressive Description Logics with Rich Yet Affordable Numeric Constraints. | Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus |
| 2025 | KR | Minimal Model Reasoning in Description Logics: Don't Try This at Home! | Federica Di Stefano, Quentin Manire, Magdalena Ortiz, Mantas Simkus |
| 2024 | AAAI | Stable Model Semantics for Description Logic Terminologies. | Federica Di Stefano, Mantas Simkus |
| 2024 | KR | Equilibrium Description Logics: Results on Complexity and Relations to Circumscription. | Federica Di Stefano, Mantas Simkus |
| 2023 | IJCAI | Description Logics with Pointwise Circumscription. | Federica Di Stefano, Magdalena Ortiz, Mantas Simkus |
| 2020 | IPMU | Unification in Łukasiewicz Logic with a Finite Number of Variables. | Marco Abbadini, Federica Di Stefano, Luca Spada |