PPaperPicks

Mantas Simkus

9 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×6AAAI ×1ISWC ×1WWW ×1

Frequent coauthors

Magdalena Ortiz
×4
Federica Di Stefano
×4
Shqiponja Ahmetaj
×3
Cem Okulmus
×3
Iovka Boneva
×2
Jan Hidders
×2
Maxime Jakubowski
×2
José Emilio Labra Gayo
×2
Wim Martens
×2
Fabio Mogavero
×2
Filip Murlak
×2
Ognjen Savkovic
×2

Papers

  1. Common Foundations for Recursive Shape Languages
    KR 2026 ·
    Shqiponja Ahmetaj
    ,
    Iovka Boneva
    ,
    Jan Hidders
    ,
    Maxime Jakubowski
    ,
    José Emilio Labra Gayo
    ,
    Wim Martens
    ,
    Fabio Mogavero
    ,
    Filip Murlak
    ,
    Cem Okulmus
    ,
    Ognjen Savkovic
    , Mantas Simkus,
    Dominik Tomaszuk
  2. Static Analysis of Recursive SHACL
    KR 2026 ·
    Anouk Michelle Oudshoorn
    ,
    Magdalena Ortiz
    , Mantas Simkus
  3. Common Foundations for SHACL, ShEx, and PG-Schema
    WWW 2025 ·
    Shqiponja Ahmetaj
    ,
    Iovka Boneva
    ,
    Jan Hidders
    ,
    Katja Hose
    ,
    Maxime Jakubowski
    ,
    José Emilio Labra Gayo
    ,
    Wim Martens
    ,
    Fabio Mogavero
    ,
    Filip Murlak
    ,
    Cem Okulmus
    ,
    Axel Polleres
    ,
    Ognjen Savkovic
    , Mantas Simkus,
    Dominik Tomaszuk
  4. Expressive Description Logics with Rich Yet Affordable Numeric Constraints
    KR 2025 ·
    Federica Di Stefano
    ,
    Sanja Lukumbuzya
    ,
    Magdalena Ortiz
    , Mantas Simkus
  5. Minimal Model Reasoning in Description Logics: Don't Try This at Home!
    KR 2025 ·
    Federica Di Stefano
    ,
    Quentin Manière
    ,
    Magdalena Ortiz
    , Mantas Simkus
  6. SHACL Validation Under Graph Updates
    ISWC 2025 ·
    Shqiponja Ahmetaj
    ,
    George Konstantinidis
    ,
    Magdalena Ortiz
    ,
    Paolo Pareti
    , Mantas Simkus
  7. Equilibrium Description Logics: Results on Complexity and Relations to Circumscription
    KR 2024 ·
    Federica Di Stefano
    , Mantas Simkus
  8. SHACL Validation under the Well-founded Semantics
    KR 2024 ·
    Cem Okulmus
    , Mantas Simkus
  9. Stable Model Semantics for Description Logic Terminologies
    AAAI 2024 ·
    Federica Di Stefano
    , Mantas Simkus