Stefan Woltran

Venues

Frequent coauthors

Papers

1. Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again
   KR 2026 ·

   Wolfgang Dvorák

   DBLP profile ↗ORCID search ↗
2. Splitting Assumption-Based Argumentation Frameworks
   KR 2026 ·

   Giovanni Buraglio

   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. FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding
   KR 2025 ·

   Alexander Beiser

   DBLP profile ↗ORCID search ↗
5. A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming
   AAAI 2024 ·

   Zeynep G. Saribatur

   DBLP profile ↗ORCID search ↗
6. Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting
   IJCAI 2024 ·

   Alexander Beiser

   DBLP profile ↗ORCID search ↗
7. Combining Voting and Abstract Argumentation to Understand Online Discussions
   AAMAS 2024 ·

   Michael Bernreiter

   DBLP profile ↗ORCID search ↗
8. Epistemic Logic Programs: Non-Ground and Counting Complexity
   IJCAI 2024 ·

   Thomas Eiter

   DBLP profile ↗ORCID search ↗
9. Redefining ABA+ Semantics via Abstract Set-to-Set Attacks
   AAAI 2024 ·

   Yannis Dimopoulos

   DBLP profile ↗ORCID search ↗