Seguir
Federica Di Stefano
Federica Di Stefano
PhD student, TU Wien
Dirección de correo verificada de tuwien.ac.at - Página principal
Título
Citado por
Citado por
Año
Description Logics with Pointwise Circumscription
F Di Stefano, M Ortiz, M Šimkus
IJCAI, 2023
62023
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
32023
Stable Model Semantics for Description Logic Terminologies
F Di Stefano, M Šimkus
Proceedings of the AAAI Conference on Artificial Intelligence 38 (9), 10484 …, 2024
22024
Pointwise Circumscription in Description Logics
F Di Stefano, M Ortiz, M Šimkus
35th International Workshop on Description Logics, DL 2022, Haifa, Israel …, 2022
22022
Equilibrium Description Logics: Results on Complexity and Relations to Circumscription
F Di Stefano, M Šimkus
21st International Conference on Principles of Knowledge Representation and …, 2024
2024
Translating Equilibrium Description Logics into Circumscription
F Di Stefano, M Šimkus
37th International Workshop on Description Logics, DL 2024, 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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–7