PPaperPicks

Federica Di Stefano

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

DBLP profile ↗ORCID search ↗

Venues

KR ×3AAAI ×1

Papers

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