Federica Di Stefano

According to our database, Federica Di Stefano authored at least 12 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Minimal Model Reasoning in Description Logics: Don't Try This at Home!

Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

Expressive Description Logics with Rich Yet Affordable Numeric Constraints.

Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract).

Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus

Proceedings of the 38th International Workshop on Description Logics, 2025

Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract).

Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus

Proceedings of the 38th International Workshop on Description Logics, 2025

2024

Equilibrium Description Logics: Results on Complexity and Relations to Circumscription.

Federica Di Stefano, Mantas Simkus

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Stable Model Semantics for Description Logic Terminologies (Extended Abstract).

Federica Di Stefano, Mantas Simkus

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Translating Equilibrium Description Logics into Circumscription.

Federica Di Stefano, Mantas Simkus

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Stable Model Semantics for Description Logic Terminologies.

Federica Di Stefano, Mantas Simkus

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Description Logics with Pointwise Circumscription.

Federica Di Stefano, Magdalena Ortiz, Mantas Simkus

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Circumscription in DL-Lite: Progress Report.

Piero A. Bonatti, Federica Di Stefano, Magdalena Ortiz, Mantas Simkus

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022

Pointwise Circumscription in Description Logics.

Federica Di Stefano, Magdalena Ortiz, Mantas Simkus

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2020

Unification in Łukasiewicz Logic with a Finite Number of Variables.

Marco Abbadini, Federica Di Stefano, Luca Spada

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020