Stefan Woltran

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 177

Top Venues

Publications

Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran
Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks. J. Artif. Intell. Res. 79 (2024)
Yannis Dimopoulos, Wolfgang Dvorák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran
Redefining ABA+ Semantics via Abstract Set-to-Set Attacks. AAAI (2024)
Michael Bernreiter, Wolfgang Dvorák, Stefan Woltran
Abstract argumentation with conditional preferences. Argument Comput. 15 (2) (2024)
Giovanni Buraglio, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
Constrained Derivation in Assumption-Based Argumentation. FoIKS (2024)
Michael Bernreiter, Jan Maly, Oliviero Nardi, Stefan Woltran
Combining Voting and Abstract Argumentation to Understand Online Discussions. AAMAS (2024)
Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran
Sequent Calculi for Choice Logics. J. Autom. Reason. 68 (2) (2024)
Michael Bernreiter, Jan Maly, Oliviero Nardi, Stefan Woltran
Combining Voting and Abstract Argumentation to Understand Online Discussions. CoRR (2024)
Wolfgang Dvorák, Alexander Greßler, Stefan Woltran
Equipping Abstract Argumentation Solvers for Verifying Negative Results. SAC (2024)
Zeynep G. Saribatur, Stefan Woltran
A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming. AAAI (2024)
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran
Solving Projected Model Counting by Utilizing Treewidth and its Limits. Artif. Intell. 314 (2023)
Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran
Expressiveness of SETAFs and support-free ADFs under 3-valued semantics. J. Appl. Non Class. Logics 33 (3-4) (2023)
Erich Prem, Julia Neidhardt, Peter Knees, Stefan Woltran, Hannes Werthner
Digital Humanism and Norms in Recommender Systems. NORMalize@RecSys (2023)
Wolfgang Dvorák, Alexander Greßler, Anna Rapberger, Stefan Woltran
The complexity landscape of claim-augmented argumentation frameworks. Artif. Intell. 317 (2023)
Viktor Besin, Markus Hecher, Stefan Woltran
On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and Treewidth. ECAI (2023)
Zeynep Gözen Saribatur, Stefan Woltran
Foundations for Projecting Away the Irrelevant in ASP Programs. KR (2023)
Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
The Effect of Preferences in Abstract Argumentation under a Claim-Centric View. AAAI (2023)
Giovanni Buraglio, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
Constrained Derivation in Assumption-Based Argumentation. AI³@AI*IA (2023)
Zeynep G. Saribatur, Stefan Woltran
A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming. CoRR (2023)
Augusto B. Corrêa, Markus Hecher, Malte Helmert, Davide Mario Longo, Florian Pommerening, Stefan Woltran
Grounding Planning Tasks Using Tree Decompositions and Iterated Solving. ICAPS (2023)
Yannis Dimopoulos, Wolfgang Dvorák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran
Sets Attacking Sets in Abstract Argumentation. NMR (2023)
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran
Solving Projected Model Counting by Utilizing Treewidth and its Limits. CoRR (2023)
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness. Artif. Intell. 324 (2023)
Wolfgang Dvorák, Tjitze Rienstra, Leendert van der Torre, Stefan Woltran
Non-Admissibility in Abstract Argumentation. COMMA (2022)
Viktor Besin, Markus Hecher, Stefan Woltran
Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck. IJCAI (2022)
Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View. NMR (2022)
Michael Bernreiter, Wolfgang Dvorák, Stefan Woltran
Abstract Argumentation with Conditional Preferences. COMMA (2022)
Wolfgang Dvorák, Matthias König, Stefan Woltran
Deletion-Backdoors for Argumentation Frameworks with Collective Attacks. SAFA@COMMA (2022)
Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran
Sequent Calculi for Choice Logics. IJCAR (2022)
Jorge Fandinno, David Pearce, Concepción Vidal, Stefan Woltran
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs. Algorithms 15 (6) (2022)
Wolfgang Dvorák, Markus Ulbricht, Stefan Woltran
Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility. J. Artif. Intell. Res. 74 (2022)
Wolfgang Dvorák, Matthias König, Stefan Woltran
Treewidth for Argumentation Frameworks with Collective Attacks. COMMA (2022)
Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran
Rediscovering Argumentation Principles Utilizing Collective Attacks. KR (2022)
Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View. CoRR (2022)
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving. Artif. Intell. 307 (2022)
Viktor Besin, Markus Hecher, Stefan Woltran
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract). IJCAI (2022)
Wolfgang Dvorák, Markus Hecher, Matthias König, André Schidler, Stefan Szeider, Stefan Woltran
Tractable Abstract Argumentation via Backdoor-Treewidth. AAAI (2022)
Michael Bernreiter, Jan Maly, Stefan Woltran
Choice logics and their computational properties. Artif. Intell. 311 (2022)
Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran
Exploiting Database Management Systems and Treewidth for Counting. Theory Pract. Log. Program. 22 (1) (2022)
Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran
Rediscovering Argumentation Principles Utilizing Collective Attacks. CoRR (2022)
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
DynASP2.5: Dynamic Programming on Tree Decompositions in Action. Algorithms 14 (3) (2021)
Michael Bernreiter, Jan Maly, Stefan Woltran
Choice Logics and Their Computational Properties. CoRR (2021)
Wolfgang Dvorák, Matthias König, Johannes Peter Wallner, Stefan Woltran
Aspartix-V21. CoRR (2021)
Wolfgang Dvorák, Alexander Greßler, Anna Rapberger, Stefan Woltran
The Complexity Landscape of Claim-Augmented Argumentation Frameworks. AAAI (2021)
Viktor Besin, Markus Hecher, Stefan Woltran
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs. CoRR (2021)
Michael Bernreiter, Jan Maly, Stefan Woltran
Choice Logics and Their Computational Properties. IJCAI (2021)
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
Beyond Uniform Equivalence between Answer-set Programs. ACM Trans. Comput. Log. 22 (1) (2021)
Wolfgang Dvorák, Matthias König, Stefan Woltran
Graph-Classes of Argumentation Frameworks with Collective Attacks. JELIA (2021)
Wolfgang Dvorák, Matthias König, Stefan Woltran
On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length. KR (2021)
Wolfgang Dvorák, Markus Ulbricht, Stefan Woltran
Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility. AAAI (2021)
Marcello Balduccini, Yuliya Lierler, Stefan Woltran
Preface. Theory Pract. Log. Program. 21 (3) (2021)
Viktor Besin, Markus Hecher, Stefan Woltran
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs. Theory Pract. Log. Program. 21 (5) (2021)
Stefano Bistarelli, Wolfgang Dvorák, Carlo Taticchi, Stefan Woltran
Ranking-Based Semantics from the Perspective of Claims. COMMA (2020)
Wolfgang Dvorák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
The ASPARTIX System Suite. COMMA (2020)
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs. KR (2020)
Markus Hecher, Michael Morak, Stefan Woltran
Structural Decompositions of Epistemic Logic Programs. ICLP Workshops (2020)
Zeynep Gozen Saribatur, Johannes Peter Wallner, Stefan Woltran
Explaining Non-Acceptability in Abstract Argumentation. ECAI (2020)
Manuel Bichler, Michael Morak, Stefan Woltran
selp: A Single-Shot Epistemic Logic Program Solver. Theory Pract. Log. Program. 20 (4) (2020)
Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran
Exploiting Database Management Systems and Treewidth for Counting. CoRR (2020)
Wolfgang Dvorák, Stefan Woltran
Complexity of abstract argumentation under a claim-centric view. Artif. Intell. 285 (2020)
Manuel Bichler, Michael Morak, Stefan Woltran
lpopt: A Rule Optimization Tool for Answer Set Programming. Fundam. Informaticae 177 (3-4) (2020)
Markus Hecher, Patrick Thier, Stefan Woltran
Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology. SAT (2020)
Michael Bernreiter, Jan Maly, Stefan Woltran
Encoding Choice Logics in ASP. ICLP Workshops (2020)
Stefan Woltran
Computational Argumentation - Formal Models and Complexity Results (invited talk). CILC (2020)
Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran
Exploiting Database Management Systems and Treewidth for Counting. PADL (2020)
Bernhard Bliem, Michael Morak, Marius Moldovan, Stefan Woltran
The Impact of Treewidth on Grounding and Solving of Answer Set Programs. J. Artif. Intell. Res. 67 (2020)
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
On the limits of forgetting in Answer Set Programming. Artif. Intell. 286 (2020)
Markus Hecher, Michael Morak, Stefan Woltran
Structural Decompositions of Epistemic Logic Programs. CoRR (2020)
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming. Theory Pract. Log. Program. 20 (3) (2020)
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating subclasses of abstract dialectical frameworks. Argument Comput. 11 (1-2) (2020)
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs. J. Log. Comput. 30 (5) (2020)
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and results of the Second International Competition on Computational Models of Argumentation. Artif. Intell. 279 (2020)
Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran
Expressiveness of SETAFs and Support-Free ADFs Under 3-Valued Semantics. COMMA (2020)
Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Stefan Woltran
Computing secure sets in graphs using answer set programming. J. Log. Comput. 30 (4) (2020)
Manuel Bichler, Michael Morak, Stefan Woltran
selp: A Single-Shot Epistemic Logic Program Solver. CoRR (2020)
Markus Hecher, Michael Morak, Stefan Woltran
Structural Decompositions of Epistemic Logic Programs. AAAI (2020)
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
On the Relation Between Claim-Augmented Argumentation Frameworks and Collective Attacks. ECAI (2020)
Wolfgang Dvorák, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation. FoIKS (2020)
Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran
Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics. CoRR (2020)
Wolfgang Faber, Michael Morak, Stefan Woltran
On Uniform Equivalence of Epistemic Logic Programs. Theory Pract. Log. Program. 19 (5-6) (2019)
Jan Maly, Miroslaw Truszczynski, Stefan Woltran
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? J. Artif. Intell. Res. 66 (2019)
Gerhard Brewka, Jörg Pührer, Stefan Woltran
Multi-valued GRAPPA. JELIA (2019)
Adrian Haret, Stefan Woltran
Belief Revision Operators with Varying Attitudes Towards Initial Beliefs. IJCAI (2019)
Wolfgang Faber, Michael Morak, Stefan Woltran
Strong Equivalence for Epistemic Logic Programs Made Easy. AAAI (2019)
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and Results of the Second International Competition on Computational Models of Argumentation. CoRR (2019)
Flavio Ferrarotti, Stefan Woltran
Preface. Ann. Math. Artif. Intell. 87 (1-2) (2019)
Wolfgang Faber, Michael Morak, Stefan Woltran
On Uniform Equivalence of Epistemic Logic Programs. CoRR (2019)
Wolfgang Dvorák, Stefan Woltran
Complexity of Abstract Argumentation under a Claim-Centric View. AAAI (2019)
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
Strong Equivalence for Argumentation Frameworks with Collective Attacks. KI (2019)
Wolfgang Dvorák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran
Preprocessing Argumentation Frameworks via Replacement Patterns. JELIA (2019)
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming. CoRR (2019)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran
A general notion of equivalence for abstract argumentation. Artif. Intell. 275 (2019)
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
Forgetting in Modular Answer Set Programming. AAAI (2019)
Wolfgang Dvorák, Jorge Fandinno, Stefan Woltran
On the expressive power of collective attacks. Argument Comput. 10 (2) (2019)
Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran
A multiparametric view on answer set programming. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Günther Charwat, Stefan Woltran
Expansion-based QBF Solving on Tree Decompositions. Fundam. Informaticae 167 (1-2) (2019)
Manuel Bichler, Michael Morak, Stefan Woltran
Single-Shot Epistemic Logic Program Solving. IJCAI (2018)
Wolfgang Dvorák, Alexander Greßler, Stefan Woltran
Evaluating SETAFs via Answer-Set Programming SAFA@COMMA (2018)
Bernhard Bliem, Stefan Woltran
Complexity of Secure Sets. Algorithmica 80 (10) (2018)
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating Subclasses of Abstract Dialectical Frameworks. COMMA (2018)
Johannes Klaus Fichte, Markus Hecher, Stefan Woltran, Markus Zisser
Weighted Model Counting on the GPU by Exploiting Small Treewidth. ESA (2018)

Stefan Woltran.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Woltran