11 citations · 11 across the 3 of their papers we have counts for
4 papers · 1 filter
Aspartix-V21
Wolfgang Dvořák, Matthias König, Johannes P. Wallner +1
In this solver description we present ASPARTIX-V, in its 2021 edition, which participates in the International Competition on Computational Models of Argumentation (ICCMA) 2021. AS…
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
Assumption-based argumentation (ABA) is a central structured argumentation formalism. As shown recently, answer set programming (ASP) enables efficiently solving NP-hard reasoning…
Weighted Abstract Dialectical Frameworks: Extended and Revised Report
Gerhard Brewka, Jörg Pührer, Hannes Strass +2
Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way. We further gen…
Utilizing ASP for Generating and Visualizing Argumentation Frameworks
Günther Charwat, Johannes Peter Wallner, Stefan Woltran
Within the area of computational models of argumentation, the instantiation-based approach is gaining more and more attention, not at least because meaningful input for Dung's abst…