Name
Affiliation
Papers
WOLFGANG DVORÁK
Univ Vienna, Fac Comp Sci, Vienna, Austria
56
Collaborators
Citations 
PageRank 
48
271
24.57
Referers 
Referees 
References 
249
519
657
Search Limit
100519
Title
Citations
PageRank
Year
Rediscovering Argumentation Principles Utilizing Collective Attacks.00.342022
Tractable Abstract Argumentation via Backdoor-Treewidth.00.342022
Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility00.342022
The Complexity Landscape Of Claim-Augmented Argumentation Frameworks00.342021
Algorithms and conditional lower bounds for planning problems00.342021
Joint Attacks And Accrual In Argumentation Frameworks00.342021
Symbolic Time and Space Tradeoffs for Probabilistic Verification00.342021
Graph-Classes of Argumentation Frameworks with Collective Attacks.00.342021
On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length.00.342021
Recursion In Abstract Argumentation Is Hard - On The Complexity Of Semantics Based On Weak Admissibility00.342021
Complexity of abstract argumentation under a claim-centric view.00.342020
ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation.00.342020
Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs.00.342020
On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs00.342020
Labelling-based Algorithms for SETAFs.00.342020
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.00.342019
Preprocessing Argumentation Frameworks via Replacement Patterns.00.342019
A general notion of equivalence for abstract argumentation00.342019
Strong Equivalence For Argumentation Frameworks With Collective Attacks00.342019
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.00.342018
Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter.10.352018
On The Expressive Power Of Collective Attacks00.342018
Computational Problems in Formal Argumentation and their Complexity.10.352017
Welfare Maximization with Friends-of-Friends Network Externalities.20.362017
Improved Set-based Symbolic Algorithms for Parity Games.00.342017
Comparing the Expressiveness of Argumentation Semantics.20.362017
Conditionally Optimal Algorithms for Generalized Büchi Games.00.342016
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics.10.342016
Preferred semantics as socratic discussion80.472016
Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction.30.382016
Methods for solving reasoning problems in abstract argumentation - A survey361.112015
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract).00.342015
Limiting Price Discrimination When Selling Products With Positive Network Externalities20.392014
Characteristics of Multiple Viewpoints in Abstract Argumentation.261.362014
Online Ad Assignment with an Ad Exchange.20.382014
On the intertranslatability of argumentation semantics210.772014
Compact Argumentation Frameworks.30.412014
Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks.20.382014
Resolution-Based Grounded Semantics Revisited.00.342014
On the equivalence between logic programming semantics and argumentation semantics10.352013
Parametric properties of ideal semantics.160.582013
Complexity-sensitive decision procedures for abstract argumentation150.582012
Towards fixed-parameter tractable algorithms for abstract argumentation70.442012
Abstract argumentation via monadic second order logic90.472012
Computational Aspects of cf2 and stage2 Argumentation Semantics.00.342012
Computationale Aspekte der Abstrakten Argumentation.00.342012
Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed distance to tractable classes00.342012
Parameterized splitting: a simple modification-based approach110.542012
Augmenting tractable fragments of abstract argumentation190.682011
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation60.572011
  • 1
  • 2