Di Stefano, Federica

2 publications

AAAI 2024 Stable Model Semantics for Description Logic Terminologies Federica Di Stefano, Mantas Simkus

IJCAI 2023 Description Logics with Pointwise Circumscription Federica Di Stefano, Magdalena Ortiz, Mantas Simkus