Follow
Federica Di Stefano
Federica Di Stefano
PhD student, TU Wien
Verified email at tuwien.ac.at - Homepage
Title
Cited by
Cited by
Year
Description Logics with Pointwise Circumscription
F Di Stefano, M Ortiz, M Šimkus
IJCAI, 2023
32023
Pointwise Circumscription in Description Logics
F Di Stefano, M Ortiz, M Šimkus
35th International Workshop on Description Logics, DL 2022, Haifa, Israel …, 2022
22022
Circumscription in DL-Lite: Progress Report
P Bonatti, F Di Stefano, M Ortiz, M Šimkus
36th International Workshop on Description Logics, DL 2023, Rhodes, Greece …, 2023
12023
Stable Model Semantics for Description Logic Terminologies
F Di Stefano, M Šimkus
Proceedings of the AAAI Conference on Artificial Intelligence 38 (9), 10484 …, 2024
2024
Unification in Łukasiewicz Logic with a Finite Number of Variables
M Abbadini, F Di Stefano, L Spada
Information Processing and Management of Uncertainty in Knowledge-Based …, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–5