PPaperPicks

Zeynep G. Saribatur

7 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×4AAAI ×1AAMAS ×1ECAI ×1

Frequent coauthors

Stefan Woltran
×3
Matthias Knorr
×2
Ricardo Gonçalves
×2
Iosif Apostolakis
×2
Johannes P. Wallner
×2
Wolfgang Dvorák
×1
Tobias Geibinger
×1
João Leite
×1

Papers

  1. Beyond Uniform: To Boldly Abstract What Has Not Been Abstracted Before
    KR 2026 ·
    Matthias Knorr
    , Zeynep G. Saribatur,
    Ricardo Gonçalves
  2. Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again
    KR 2026 ·
    Wolfgang Dvorák
    , Zeynep G. Saribatur,
    Stefan Woltran
  3. A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs
    ECAI 2025 ·
    Tobias Geibinger
    , Zeynep G. Saribatur,
    Stefan Woltran
  4. A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming
    AAAI 2024 · Zeynep G. Saribatur,
    Stefan Woltran
  5. Abstracting Assumptions in Structured Argumentation
    AAMAS 2024 ·
    Iosif Apostolakis
    , Zeynep G. Saribatur,
    Johannes P. Wallner
  6. Abstraction in Assumption-based Argumentation
    KR 2024 ·
    Iosif Apostolakis
    , Zeynep G. Saribatur,
    Johannes P. Wallner
  7. On Abstracting over the Irrelevant in Answer Set Programming
    KR 2024 · Zeynep G. Saribatur,
    Matthias Knorr
    ,
    Ricardo Gonçalves
    ,
    João Leite