We stand with Ukraine  

Federica Di Stefano

Orcid: 0000-0002-6570-7598

Affiliations:
  • TU Wien, Austria


According to our database1, Federica Di Stefano authored at least 8 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Equilibrium Description Logics: Results on Complexity and Relations to Circumscription.
[BibTeX]
[DOI]
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).
[BibTeX]
[DOI]
Federica Di Stefano
,
Mantas Simkus
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Translating Equilibrium Description Logics into Circumscription.
[BibTeX]
[DOI]
Federica Di Stefano
,
Mantas Simkus
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

Stable Model Semantics for Description Logic Terminologies.
[BibTeX]
[DOI]
Federica Di Stefano
,
Mantas Simkus
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Description Logics with Pointwise Circumscription.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Marco Abbadini
,
Federica Di Stefano
,
Luca Spada
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020


  Loading...