PPaperPicks

Stefan Woltran

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

DBLP profile ↗ORCID search ↗

Venues

KR ×3AAAI ×2IJCAI ×2AAMAS ×1ECAI ×1

Frequent coauthors

Wolfgang Dvorák
×3
Zeynep G. Saribatur
×3
Markus Hecher
×3
Alexander Beiser
×2
Giovanni Buraglio
×1
Tobias Geibinger
×1
Martin Gebser
×1
Kaan Unalan
×1
Michael Bernreiter
×1
Jan Maly
×1
Oliviero Nardi
×1
Thomas Eiter
×1

Papers

  1. Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again
    KR 2026 ·
    Wolfgang Dvorák
    ,
    Zeynep G. Saribatur
    , Stefan Woltran
  2. Splitting Assumption-Based Argumentation Frameworks
    KR 2026 ·
    Giovanni Buraglio
    ,
    Wolfgang Dvorák
    , 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. FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding
    KR 2025 ·
    Alexander Beiser
    ,
    Martin Gebser
    ,
    Markus Hecher
    , Stefan Woltran
  5. A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming
    AAAI 2024 ·
    Zeynep G. Saribatur
    , Stefan Woltran
  6. Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting
    IJCAI 2024 ·
    Alexander Beiser
    ,
    Markus Hecher
    ,
    Kaan Unalan
    , Stefan Woltran
  7. Combining Voting and Abstract Argumentation to Understand Online Discussions
    AAMAS 2024 ·
    Michael Bernreiter
    ,
    Jan Maly
    ,
    Oliviero Nardi
    , Stefan Woltran
  8. Epistemic Logic Programs: Non-Ground and Counting Complexity
    IJCAI 2024 ·
    Thomas Eiter
    ,
    Johannes Klaus Fichte
    ,
    Markus Hecher
    , Stefan Woltran
  9. Redefining ABA+ Semantics via Abstract Set-to-Set Attacks
    AAAI 2024 ·
    Yannis Dimopoulos
    ,
    Wolfgang Dvorák
    ,
    Matthias König
    ,
    Anna Rapberger
    ,
    Markus Ulbricht
    , Stefan Woltran