Federica Di Stefano

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Stable Model Semantics

Top Venues

Description Logics

Publications

Federica Di Stefano, Mantas Simkus
Translating Equilibrium Description Logics into Circumscription. Description Logics (2024)
Federica Di Stefano, Mantas Simkus
Stable Model Semantics for Description Logic Terminologies (Extended Abstract). Description Logics (2024)
Federica Di Stefano, Mantas Simkus
Stable Model Semantics for Description Logic Terminologies. AAAI (2024)
Piero Bonatti, Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
Circumscription in DL-Lite: Progress Report. Description Logics (2023)