Zeynep G. Saribatur

Venues

Frequent coauthors

Papers

1. Beyond Uniform: To Boldly Abstract What Has Not Been Abstracted Before
   KR 2026 ·

   Matthias Knorr

   DBLP profile ↗ORCID search ↗
2. Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again
   KR 2026 ·

   Wolfgang Dvorák

   DBLP profile ↗ORCID search ↗
3. A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs
   ECAI 2025 ·

   Tobias Geibinger

   DBLP profile ↗ORCID search ↗
4. A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming
   AAAI 2024 · Zeynep G. Saribatur
5. Abstracting Assumptions in Structured Argumentation
   AAMAS 2024 ·

   Iosif Apostolakis

   DBLP profile ↗ORCID search ↗
6. Abstraction in Assumption-based Argumentation
   KR 2024 ·

   Iosif Apostolakis

   DBLP profile ↗ORCID search ↗
7. On Abstracting over the Irrelevant in Answer Set Programming
   KR 2024 · Zeynep G. Saribatur