pith. sign in

Stefan Woltran

Identifiers

  • name variant Stefan Woltran 0.60 · backfill

Papers (32)

  1. On Strong Equivalence Notions in Logic Programming and Abstract Argumentation cs.AI · 2026 · author #3
  2. Splitting Assumption-Based Argumentation Frameworks cs.AI · 2026 · author #3
  3. Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version) cs.LO · 2018 · author #3
  4. Weighted Abstract Dialectical Frameworks: Extended and Revised Report cs.AI · 2018 · author #5
  5. Exploiting Treewidth for Projected Model Counting and its Limits cs.AI · 2018 · author #4
  6. Defensive Alliances in Graphs of Bounded Treewidth cs.CC · 2017 · author #2
  7. DynASP2.5: Dynamic Programming on Tree Decompositions in Action cs.LO · 2017 · author #4
  8. Answer Set Solving with Bounded Treewidth Revisited cs.LO · 2017 · author #4
  9. Counting Answer Sets via Dynamic Programming cs.LO · 2016 · author #4
  10. lpopt: A Rule Optimization Tool for Answer Set Programming cs.LO · 2016 · author #3
  11. The Power of Non-Ground Rules in Answer Set Programming cs.AI · 2016 · author #3
  12. Clique-Width and Directed Width Measures for Answer-Set Programming cs.AI · 2016 · author #3
  13. Distributing Knowledge into Simple Bases cs.AI · 2016 · author #3
  14. Verifiability of Argumentation Semantics cs.AI · 2016 · author #3
  15. Dual-normal Logic Programs - the Forgotten Class cs.CC · 2015 · author #3
  16. Complexity of Secure Sets cs.CC · 2014 · author #2
  17. Compact Argumentation Frameworks cs.AI · 2014 · author #5
  18. Belief merging within fragments of propositional logic cs.AI · 2014 · author #4
  19. On the Intertranslatability of Argumentation Semantics cs.AI · 2014 · author #2
  20. Modularity Aspects of Disjunctive Stable Models cs.LO · 2014 · author #4
  21. Utilizing ASP for Generating and Visualizing Argumentation Frameworks cs.AI · 2013 · author #3
  22. D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming cs.AI · 2012 · author #3
  23. Strong Equivalence of Qualitative Optimization Problems cs.LO · 2011 · author #3
  24. Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems cs.AI · 2011 · author #4
  25. dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation cs.AI · 2011 · author #4
  26. A general approach to belief change in answer set programming cs.AI · 2009 · author #4
  27. Relativized hyperequivalence of logic programs for modular programming cs.AI · 2009 · author #2
  28. Characterising equilibrium logic and nested logic programs: Reductions and complexity cs.LO · 2009 · author #3
  29. A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming cs.AI · 2007 · author #1
  30. Semantical Characterizations and Complexity of Equivalences in Answer Set Programming cs.AI · 2005 · author #3
  31. A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report cs.AI · 2002 · author #5
  32. QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks cs.AI · 2000 · author #4

Mentions

  • 1411.6549 #2 · backfill · confidence 0.70 Stefan Woltran
  • 1404.7734 #5 · backfill · confidence 0.70 Stefan Woltran
  • 1404.6445 #4 · backfill · confidence 0.70 Stefan Woltran
  • 1401.3895 #2 · backfill · confidence 0.70 Stefan Woltran
  • 1401.3484 #4 · backfill · confidence 0.70 Stefan Woltran
  • 1301.1388 #3 · backfill · confidence 0.70 Stefan Woltran
  • 1210.1931 #3 · backfill · confidence 0.70 Stefan Woltran
  • 1112.0791 #3 · backfill · confidence 0.70 Stefan Woltran
  • 1108.4942 #4 · backfill · confidence 0.70 Stefan Woltran
  • 1108.4804 #4 · backfill · confidence 0.70 Stefan Woltran
  • 0912.5511 #4 · backfill · confidence 0.70 Stefan Woltran
  • 0907.4128 #2 · backfill · confidence 0.70 Stefan Woltran
  • 0906.2228 #3 · backfill · confidence 0.70 Stefan Woltran
  • 0712.0948 #1 · backfill · confidence 0.70 Stefan Woltran

Frequent Coauthors