default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefan Woltran
Person information
- affiliation: TU Wien, Vienna, Autria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j96]Michael Bernreiter, Wolfgang Dvorák, Stefan Woltran:
Abstract argumentation with conditional preferences. Argument Comput. 15(2): 161-189 (2024)- [j95]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: 69-136 (2024) - [j94]Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran:
Sequent Calculi for Choice Logics. J. Autom. Reason. 68(2): 8 (2024) - [c211]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: 10493-10500 - [c210]Zeynep G. Saribatur, Stefan Woltran:
A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming. AAAI 2024: 10687-10695 - [c209]Michael Bernreiter, Jan Maly, Oliviero Nardi, Stefan Woltran:
Combining Voting and Abstract Argumentation to Understand Online Discussions. AAMAS 2024: 170-179 - [c208]Giovanni Buraglio, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran:
Constrained Derivation in Assumption-Based Argumentation. FoIKS 2024: 340-359 - [c207]Wolfgang Dvorák, Alexander Greßler, Stefan Woltran:
Equipping Abstract Argumentation Solvers for Verifying Negative Results. SAC 2024: 762-769 - [d1]Michael Bernreiter, Jan Maly, Oliviero Nardi, Stefan Woltran:
Supplementary Material for "Combining Voting and Abstract Argumentation to Understand Online Discussions". Zenodo, 2024
- [i50]Michael Bernreiter, Jan Maly, Oliviero Nardi, Stefan Woltran:
Combining Voting and Abstract Argumentation to Understand Online Discussions. CoRR abs/2402.05895 (2024) - 2023
- [j93]Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran:
Solving Projected Model Counting by Utilizing Treewidth and its Limits. Artif. Intell. 314: 103810 (2023) - [j92]Wolfgang Dvorák, Alexander Greßler, Anna Rapberger, Stefan Woltran:
The complexity landscape of claim-augmented argumentation frameworks. Artif. Intell. 317: 103873 (2023) - [j91]Wolfgang Dvorák, Anna Rapberger, Stefan Woltran:
A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness. Artif. Intell. 324: 104011 (2023) - [j90]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): 298-327 (2023) - [c206]Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran:
The Effect of Preferences in Abstract Argumentation under a Claim-Centric View. AAAI 2023: 6253-6261 - [c205]Giovanni Buraglio, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran:
Constrained Derivation in Assumption-Based Argumentation. AI³@AI*IA 2023 - [c204]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: 100-108 - [c203]Viktor Besin, Markus Hecher, Stefan Woltran:
On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and Treewidth. ECAI 2023: 247-254 - [c202]Zeynep G. Saribatur, Stefan Woltran:
Foundations for Projecting Away the Irrelevant in ASP Programs. KR 2023: 614-624 - [c201]Yannis Dimopoulos, Wolfgang Dvorák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran:
Sets Attacking Sets in Abstract Argumentation. NMR 2023: 22-31 - [c200]Erich Prem, Julia Neidhardt, Peter Knees, Stefan Woltran, Hannes Werthner:
Digital Humanism and Norms in Recommender Systems. NORMalize@RecSys 2023 - [i49]Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran:
Solving Projected Model Counting by Utilizing Treewidth and its Limits. CoRR abs/2305.19212 (2023) - [i48]Zeynep G. Saribatur, Stefan Woltran:
A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming. CoRR abs/2312.07993 (2023) - 2022
- [j89]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: 103697 (2022) - [j88]Michael Bernreiter, Jan Maly, Stefan Woltran:
Choice logics and their computational properties. Artif. Intell. 311: 103755 (2022) - [j87]Jorge Fandinno, David Pearce, Concepción Vidal, Stefan Woltran:
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs. Algorithms 15(6): 201 (2022) - [j86]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: 1403-1447 (2022) - [j85]Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran:
Exploiting Database Management Systems and Treewidth for Counting. Theory Pract. Log. Program. 22(1): 128-157 (2022) - [c199]Wolfgang Dvorák, Markus Hecher, Matthias König, André Schidler, Stefan Szeider, Stefan Woltran:
Tractable Abstract Argumentation via Backdoor-Treewidth. AAAI 2022: 5608-5615 - [c198]Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran:
Sequent Calculi for Choice Logics. IJCAR 2022: 331-349 - [c197]Michael Bernreiter, Wolfgang Dvorák, Stefan Woltran:
Abstract Argumentation with Conditional Preferences. COMMA 2022: 92-103 - [c196]Wolfgang Dvorák, Matthias König, Stefan Woltran:
Deletion-Backdoors for Argumentation Frameworks with Collective Attacks. SAFA@COMMA 2022: 98-110 - [c195]Wolfgang Dvorák, Tjitze Rienstra, Leendert van der Torre, Stefan Woltran:
Non-Admissibility in Abstract Argumentation. COMMA 2022: 128-139 - [c194]Wolfgang Dvorák, Matthias König, Stefan Woltran:
Treewidth for Argumentation Frameworks with Collective Attacks. COMMA 2022: 140-151 - [c193]Viktor Besin, Markus Hecher, Stefan Woltran:
Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck. IJCAI 2022: 2546-2552 - [c192]Viktor Besin, Markus Hecher, Stefan Woltran:
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract). IJCAI 2022: 5264-5268 - [c191]Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran:
Rediscovering Argumentation Principles Utilizing Collective Attacks. KR 2022 - [c190]Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran:
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View. NMR 2022: 27-38 - [p1]Julia Neidhardt, Hannes Werthner, Stefan Woltran:
It Is Simple, It Is Complicated. Perspectives on Digital Humanism 2022: 335-342 - [i47]Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran:
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View. CoRR abs/2204.13305 (2022) - [i46]Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran:
Rediscovering Argumentation Principles Utilizing Collective Attacks. CoRR abs/2205.03151 (2022) - 2021
- [j84]Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran:
DynASP2.5: Dynamic Programming on Tree Decompositions in Action. Algorithms 14(3): 81 (2021) - [j83]Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran:
Beyond Uniform Equivalence between Answer-set Programs. ACM Trans. Comput. Log. 22(1): 2:1-2:46 (2021) - [j82]Marcello Balduccini, Yuliya Lierler, Stefan Woltran:
Preface. Theory Pract. Log. Program. 21(3): 293-295 (2021) - [j81]Viktor Besin, Markus Hecher, Stefan Woltran:
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs. Theory Pract. Log. Program. 21(5): 575-592 (2021) - [c189]Wolfgang Dvorák, Markus Ulbricht, Stefan Woltran:
Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility. AAAI 2021: 6288-6295 - [c188]Wolfgang Dvorák, Alexander Greßler, Anna Rapberger, Stefan Woltran:
The Complexity Landscape of Claim-Augmented Argumentation Frameworks. AAAI 2021: 6296-6303 - [c187]Michael Bernreiter, Jan Maly, Stefan Woltran:
Choice Logics and Their Computational Properties. IJCAI 2021: 1794-1800 - [c186]Wolfgang Dvorák, Matthias König, Stefan Woltran:
Graph-Classes of Argumentation Frameworks with Collective Attacks. JELIA 2021: 3-17 - [c185]Wolfgang Dvorák, Matthias König, Stefan Woltran:
On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length. KR 2021: 671-675 - [i45]Michael Bernreiter, Jan Maly, Stefan Woltran:
Choice Logics and Their Computational Properties. CoRR abs/2106.05052 (2021) - [i44]Viktor Besin, Markus Hecher, Stefan Woltran:
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs. CoRR abs/2108.03022 (2021) - [i43]Wolfgang Dvorák, Matthias König, Johannes Peter Wallner, Stefan Woltran:
Aspartix-V21. CoRR abs/2109.03166 (2021) - 2020
- [j80]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) - [j79]Wolfgang Dvorák, Stefan Woltran:
Complexity of abstract argumentation under a claim-centric view. Artif. Intell. 285: 103290 (2020) - [j78]Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran:
On the limits of forgetting in Answer Set Programming. Artif. Intell. 286: 103307 (2020) - [j77]Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran:
Investigating subclasses of abstract dialectical frameworks. Argument Comput. 11(1-2): 191-219 (2020) - [j76]Manuel Bichler, Michael Morak, Stefan Woltran:
lpopt: A Rule Optimization Tool for Answer Set Programming. Fundam. Informaticae 177(3-4): 275-296 (2020) - [j75]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: 35-80 (2020) - [j74]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): 837-862 (2020) - [j73]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): 1063-1107 (2020) - [j72]Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran:
Solving Advanced Argumentation Problems with Answer Set Programming. Theory Pract. Log. Program. 20(3): 391-431 (2020) - [j71]Manuel Bichler, Michael Morak, Stefan Woltran:
selp: A Single-Shot Epistemic Logic Program Solver. Theory Pract. Log. Program. 20(4): 435-455 (2020) - [c184]Markus Hecher, Michael Morak, Stefan Woltran:
Structural Decompositions of Epistemic Logic Programs. AAAI 2020: 2830-2837 - [c183]Stefan Woltran:
Computational Argumentation - Formal Models and Complexity Results (invited talk). CILC 2020: 2 - [c182]Stefano Bistarelli, Wolfgang Dvorák, Carlo Taticchi, Stefan Woltran:
Ranking-Based Semantics from the Perspective of Claims. COMMA 2020: 111-122 - [c181]Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran:
Expressiveness of SETAFs and Support-Free ADFs Under 3-Valued Semantics. COMMA 2020: 191-202 - [c180]Wolfgang Dvorák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran:
The ASPARTIX System Suite. COMMA 2020: 461-462 - [c179]Wolfgang Dvorák, Anna Rapberger, Stefan Woltran:
On the Relation Between Claim-Augmented Argumentation Frameworks and Collective Attacks. ECAI 2020: 721-728 - [c178]Zeynep G. Saribatur, Johannes Peter Wallner, Stefan Woltran:
Explaining Non-Acceptability in Abstract Argumentation. ECAI 2020: 881-888 - [c177]Wolfgang Dvorák, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran:
ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation. FoIKS 2020: 79-89 - [c176]Michael Bernreiter, Jan Maly, Stefan Woltran:
Encoding Choice Logics in ASP. ICLP Workshops 2020 - [c175]Markus Hecher, Michael Morak, Stefan Woltran:
Structural Decompositions of Epistemic Logic Programs. ICLP Workshops 2020 - [c174]Wolfgang Dvorák, Anna Rapberger, Stefan Woltran:
Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs. KR 2020: 341-350 - [c173]Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran:
Exploiting Database Management Systems and Treewidth for Counting. PADL 2020: 151-167 - [c172]Markus Hecher, Patrick Thier, Stefan Woltran:
Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology. SAT 2020: 343-360 - [i42]Manuel Bichler, Michael Morak, Stefan Woltran:
selp: A Single-Shot Epistemic Logic Program Solver. CoRR abs/2001.01089 (2020) - [i41]Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran:
Exploiting Database Management Systems and Treewidth for Counting. CoRR abs/2001.04191 (2020) - [i40]Markus Hecher, Michael Morak, Stefan Woltran:
Structural Decompositions of Epistemic Logic Programs. CoRR abs/2001.04219 (2020) - [i39]Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran:
Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics. CoRR abs/2007.03581 (2020)
2010 – 2019
- 2019
- [j70]Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran:
A general notion of equivalence for abstract argumentation. Artif. Intell. 275: 379-410 (2019) - [j69]Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran:
A multiparametric view on answer set programming. Ann. Math. Artif. Intell. 86(1-3): 121-147 (2019) - [j68]Flavio Ferrarotti, Stefan Woltran:
Preface. Ann. Math. Artif. Intell. 87(1-2): 1-4 (2019) - [j67]Wolfgang Dvorák, Jorge Fandinno, Stefan Woltran:
On the expressive power of collective attacks. Argument Comput. 10(2): 191-230 (2019) - [j66]Günther Charwat, Stefan Woltran:
Expansion-based QBF Solving on Tree Decompositions. Fundam. Informaticae 167(1-2): 59-92 (2019) - [j65]Jan Maly, Miroslaw Truszczynski, Stefan Woltran:
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? J. Artif. Intell. Res. 66: 1147-1197 (2019) - [j64]Wolfgang Faber, Michael Morak, Stefan Woltran:
On Uniform Equivalence of Epistemic Logic Programs. Theory Pract. Log. Program. 19(5-6): 826-840 (2019) - [c171]Wolfgang Dvorák, Stefan Woltran:
Complexity of Abstract Argumentation under a Claim-Centric View. AAAI 2019: 2801-2808 - [c170]Wolfgang Faber, Michael Morak, Stefan Woltran:
Strong Equivalence for Epistemic Logic Programs Made Easy. AAAI 2019: 2809-2816 - [c169]Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran:
Forgetting in Modular Answer Set Programming. AAAI 2019: 2843-2850 - [c168]Adrian Haret, Stefan Woltran:
Belief Revision Operators with Varying Attitudes Towards Initial Beliefs. IJCAI 2019: 1726-1733 - [c167]Gerhard Brewka, Jörg Pührer, Stefan Woltran:
Multi-valued GRAPPA. JELIA 2019: 85-101 - [c166]Wolfgang Dvorák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran:
Preprocessing Argumentation Frameworks via Replacement Patterns. JELIA 2019: 116-132 - [c165]Wolfgang Dvorák, Anna Rapberger, Stefan Woltran:
Strong Equivalence for Argumentation Frameworks with Collective Attacks. KI 2019: 131-145 - [e8]Marcello Balduccini, Yuliya Lierler, Stefan Woltran:
Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. Lecture Notes in Computer Science 11481, Springer 2019, ISBN 978-3-030-20527-0 [contents] - [i38]Wolfgang Faber, Michael Morak, Stefan Woltran:
On Uniform Equivalence of Epistemic Logic Programs. CoRR abs/1907.10925 (2019) - [i37]Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran:
Design and Results of the Second International Competition on Computational Models of Argumentation. CoRR abs/1909.00621 (2019) - [i36]Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran:
Solving Advanced Argumentation Problems with Answer Set Programming. CoRR abs/1912.02734 (2019) - 2018
- [j63]Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran:
Summary Report of the Second International Competition on Computational Models of Argumentation. AI Mag. 39(4): 77-79 (2018) - [j62]Bernhard Bliem, Stefan Woltran:
Complexity of Secure Sets. Algorithmica 80(10): 2909-2940 (2018) - [j61]Bernhard Bliem, Stefan Woltran:
Equivalence between answer-set programs under (partially) fixed input. Ann. Math. Artif. Intell. 83(3-4): 277-295 (2018) - [j60]Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran:
Abstract solvers for Dung's argumentation frameworks. Argument Comput. 9(1): 41-72 (2018) - [j59]Bernhard Bliem, Stefan Woltran:
Defensive alliances in graphs of bounded treewidth. Discret. Appl. Math. 251: 334-339 (2018) - [j58]Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran:
An extension-based approach to belief revision in abstract argumentation. Int. J. Approx. Reason. 93: 395-423 (2018) - [j57]James P. Delgrande, Pavlos Peppas, Stefan Woltran:
General Belief Revision. J. ACM 65(5): 29:1-29:34 (2018) - [j56]Torsten Schaub, Stefan Woltran:
Special Issue on Answer Set Programming. Künstliche Intell. 32(2-3): 101-103 (2018) - [j55]Torsten Schaub, Stefan Woltran:
Answer set programming unleashed! Künstliche Intell. 32(2-3): 105-108 (2018) - [j54]Michael Abseher, Bernhard Bliem, Markus Hecher, Marius Moldovan, Stefan Woltran:
Dynamic Programming on Tree Decompositions with D-FLAT. Künstliche Intell. 32(2-3): 191-192 (2018) - [j53]Vladimir Lifschitz, Torsten Schaub, Stefan Woltran:
Interview with Vladimir Lifschitz. Künstliche Intell. 32(2-3): 213-218 (2018) - [j52]Gerhard Brewka, Torsten Schaub, Stefan Woltran:
Interview with Gerhard Brewka. Künstliche Intell. 32(2-3): 219-221 (2018) - [j51]Nadia Creignou, Reinhard Pichler, Stefan Woltran:
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? Log. Methods Comput. Sci. 14(4) (2018) - [j50]João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran:
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). J. Log. Comput. 28(3): 475-476 (2018) - [c164]Gerhard Brewka, Hannes Strass, Johannes Peter Wallner, Stefan Woltran:
Weighted Abstract Dialectical Frameworks. AAAI 2018: 1779-1786 - [c163]Jan Maly, Stefan Woltran:
A New Logic for Jointly Representing Hard and Soft Constraints. PRUV@IJCAR 2018 - [c162]Wolfgang Dvorák, Alexander Greßler, Stefan Woltran:
Evaluating SETAFs via Answer-Set Programming. SAFA@COMMA 2018: 10-21 - [c161]Wolfgang Dvorák, Jorge Fandinno, Stefan Woltran:
On the Expressive Power of Collective Attacks. COMMA 2018: 49-60 - [c160]Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran:
Investigating Subclasses of Abstract Dialectical Frameworks. COMMA 2018: 61-72 - [c159]Johannes Klaus Fichte, Markus Hecher, Stefan Woltran, Markus Zisser:
Weighted Model Counting on the GPU by Exploiting Small Treewidth. ESA 2018: 28:1-28:16 - [c158]Jan Maly, Miroslaw Truszczynski, Stefan Woltran:
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? IJCAI 2018: 433-439 - [c157]