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

Federica Di Stefano
DBLP profile ↗ORCID search ↗
×4
Shqiponja Ahmetaj
DBLP profile ↗ORCID search ↗
×3
Anouk Michelle Oudshoorn
DBLP profile ↗ORCID search ↗
×1
Cem Okulmus
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Common Foundations for Recursive Shape Languages
    KR 2026 ·
    Shqiponja Ahmetaj
    DBLP profile ↗ORCID search ↗
  2. Static Analysis of Recursive SHACL
    KR 2026 ·
    Anouk Michelle Oudshoorn
    DBLP profile ↗ORCID search ↗
  3. Common Foundations for SHACL, ShEx, and PG-Schema
    WWW 2025 ·
    Shqiponja Ahmetaj
    DBLP profile ↗ORCID search ↗
  4. Expressive Description Logics with Rich Yet Affordable Numeric Constraints
    KR 2025 ·
    Federica Di Stefano
    DBLP profile ↗ORCID search ↗
  5. Minimal Model Reasoning in Description Logics: Don't Try This at Home!
    KR 2025 ·
    Federica Di Stefano
    DBLP profile ↗ORCID search ↗
  6. SHACL Validation Under Graph Updates
    ISWC 2025 ·
    Shqiponja Ahmetaj
    DBLP profile ↗ORCID search ↗
  7. Equilibrium Description Logics: Results on Complexity and Relations to Circumscription
    KR 2024 ·
    Federica Di Stefano
    DBLP profile ↗ORCID search ↗
  8. SHACL Validation under the Well-founded Semantics
    KR 2024 ·
    Cem Okulmus
    DBLP profile ↗ORCID search ↗
  9. Stable Model Semantics for Description Logic Terminologies
    AAAI 2024 ·
    Federica Di Stefano
    DBLP profile ↗ORCID search ↗