Picture for Wolfgang Dvořák

Wolfgang Dvořák

Rediscovering Argumentation Principles Utilizing Collective Attacks

Add code
May 06, 2022
Figure 1 for Rediscovering Argumentation Principles Utilizing Collective Attacks
Viaarxiv icon

Aspartix-V21

Add code
Sep 07, 2021
Figure 1 for Aspartix-V21
Viaarxiv icon

Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics

Add code
Jul 07, 2020
Figure 1 for Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics
Figure 2 for Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics
Figure 3 for Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics
Viaarxiv icon

Algorithms and Conditional Lower Bounds for Planning Problems

Add code
Apr 19, 2018
Figure 1 for Algorithms and Conditional Lower Bounds for Planning Problems
Figure 2 for Algorithms and Conditional Lower Bounds for Planning Problems
Figure 3 for Algorithms and Conditional Lower Bounds for Planning Problems
Figure 4 for Algorithms and Conditional Lower Bounds for Planning Problems
Viaarxiv icon

Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed distance to tractable classes

Add code
Jan 02, 2012
Figure 1 for Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed distance to tractable classes
Figure 2 for Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed distance to tractable classes
Figure 3 for Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed distance to tractable classes
Figure 4 for Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed distance to tractable classes
Viaarxiv icon

Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems

Add code
Aug 24, 2011
Figure 1 for Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Figure 2 for Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Figure 3 for Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Figure 4 for Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Viaarxiv icon

dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation

Add code
Aug 24, 2011
Figure 1 for dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation
Figure 2 for dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation
Viaarxiv icon