Concepedia

Wolfgang Dvořák

WD

27

Publications

960

Citations

18

H-Index

2010

Active since

Affiliations

TU Wien(Current)

University of Vienna

University of Liverpool

Leipzig University

Universidade Federal do Ceará

Wolfgang Dvořák is an author at TU Wien specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsArgument MiningSemanticsLinguisticsLanguageComputer ScienceFormal VerificationArgumentation

Publications per year

2010–2020

27

Publications

27

Computational Problems in Formal Argumentation and their Complexity.

Wolfgang Dvořák, Paul E. Dunne · FLAP · 2017 · 106 citations

Engineering, Argumentation Analysis, Argumentation Framework +6

Complexity-Sensitive Decision Procedures for Abstract Argumentation

Wolfgang Dvořák · 2012 · 90 citations

Characteristics of multiple viewpoints in abstract argumentation

Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler et al. · Artificial Intelligence · 2015 · 90 citations

Abstract Argumentation, Engineering, Argumentation Analysis +7

Complexity of semi-stable and stage semantics in argumentation frameworks

Wolfgang Dvořák, Stefan Woltran · Information Processing Letters · 2010 · 80 citations

Syntax, Engineering, Argumentation Analysis +9

On the equivalence between logic programming semantics and argumentation semantics

Martin Caminada, Samy Sá, João Alcântara et al. · International Journal of Approximate Reasoning · 2014 · 63 citations

Applied Logic, Computational Logic, Engineering +9

Rows per page

1–5 of 27