PPaperPicks

Federica Di Stefano

4 papers at tracked venues · 1 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

KR ×3AAAI ×1

Frequent coauthors

Mantas Simkus
×4
Magdalena Ortiz
×2
Sanja Lukumbuzya
×1
Quentin Manière
×1

Papers

  1. Expressive Description Logics with Rich Yet Affordable Numeric Constraints
    KR 2025 · Federica Di Stefano,
    Sanja Lukumbuzya
    ,
    Magdalena Ortiz
    ,
    Mantas Simkus
  2. Minimal Model Reasoning in Description Logics: Don't Try This at Home!
    KR 2025 · Federica Di Stefano,
    Quentin Manière
    ,
    Magdalena Ortiz
    ,
    Mantas Simkus
  3. Equilibrium Description Logics: Results on Complexity and Relations to Circumscription
    KR 2024 · Federica Di Stefano,
    Mantas Simkus
  4. Stable Model Semantics for Description Logic Terminologies
    AAAI 2024 · Federica Di Stefano,
    Mantas Simkus