Unification in Łukasiewicz Logic with a Finite Number of Variables. - Marco Abbadini; Federica Di Stefano 001; Luca Spada (IPMU (3), 2020)

Pointwise Circumscription in Description Logics. - Federica Di Stefano 001; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2022)

Circumscription in DL-Lite: Progress Report. - Piero A. Bonatti; Federica Di Stefano 001; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2023)

Description Logics with Pointwise Circumscription. - Federica Di Stefano 001; Magdalena Ortiz 001; Mantas Simkus (IJCAI, 2023)

Stable Model Semantics for Description Logic Terminologies. - Federica Di Stefano 001; Mantas Simkus (AAAI, 2024)

Translating Equilibrium Description Logics into Circumscription. - Federica Di Stefano 001; Mantas Simkus (Description Logics, 2024)

Stable Model Semantics for Description Logic Terminologies (Extended Abstract). - Federica Di Stefano 001; Mantas Simkus (Description Logics, 2024)

Equilibrium Description Logics: Results on Complexity and Relations to Circumscription. - Federica Di Stefano 001; Mantas Simkus (KR, 2024)

Minimal Model Reasoning in Description Logics: Don't Try This at Home! - Federica Di Stefano 001; Quentin Manière; Magdalena Ortiz 001; Mantas Simkus (CoRR, 2025)