[HTML][HTML] Methods for solving reasoning problems in abstract argumentation–a survey

G Charwat, W Dvořák, SA Gaggl, JP Wallner… - Artificial intelligence, 2015 - Elsevier
Within the last decade, abstract argumentation has emerged as a central field in Artificial
Intelligence. Besides providing a core formalism for many advanced argumentation systems …

[HTML][HTML] Complexity-sensitive decision procedures for abstract argumentation

W Dvořák, M Järvisalo, JP Wallner, S Woltran - Artificial Intelligence, 2014 - Elsevier
Abstract argumentation frameworks (AFs) provide the basis for various reasoning problems
in the area of Artificial Intelligence. Efficient evaluation of AFs has thus been identified as an …

[HTML][HTML] On the input/output behavior of argumentation frameworks

P Baroni, G Boella, F Cerutti, M Giacomin… - Artificial Intelligence, 2014 - Elsevier
This paper tackles the fundamental questions arising when looking at argumentation
frameworks as interacting components, characterized by an Input/Output behavior, rather …

Normal and strong expansion equivalence for argumentation frameworks

R Baumann - Artificial Intelligence, 2012 - Elsevier
Given a semantics σ, two argumentation frameworks (AFs) F and G are said to be standard
equivalent if they possess the same extensions and strongly equivalent if, for any AF H, F …

[HTML][HTML] On topology-related properties of abstract argumentation semantics. A correction and extension to dynamics of argumentation systems: A division-based …

P Baroni, M Giacomin, B Liao - Artificial Intelligence, 2014 - Elsevier
This research note provides novel results concerning the incremental computation of the
stable and ideal argumentation semantics, by extending the division-based method …

[PDF][PDF] A SCC recursive meta-algorithm for computing preferred labellings in abstract argumentation

F Cerutti, M Giacomin, M Vallati, M Zanella - 2014 - cdn.aaai.org
This paper presents a meta-algorithm for the computation of preferred labellings, based on
the general recursive schema for argumentation semantics called SCC-Recursiveness. The …

[PDF][PDF] On the nature of argumentation semantics: Existence and uniqueness, expressibility, and replaceability

R Baumann - Handbook of Formal Argumentation, 2017 - researchgate.net
Ringo Baumann abstract. This chapter is devoted to argumentation semantics which play
the flagship role in Dung's abstract argumentation theory. Almost all of them are motivated …

Incremental computation of deterministic extensions for dynamic argumentation frameworks

S Greco, F Parisi - Logics in Artificial Intelligence: 15th European …, 2016 - Springer
We address the problem of efficiently recomputing the extensions of abstract argumentation
frameworks (AFs) which are updated by adding/deleting arguments or attacks. In particular …

I don't care, I don't know… I know too much! On Incompleteness and Undecidedness in Abstract Argumentation

P Baroni, M Giacomin, B Liao - … : Essays Dedicated to Gerhard Brewka on …, 2015 - Springer
Incompleteness and undecidedness are pervasively present in human reasoning activities
and make the definition of the relevant computational models challenging. In this discussion …

[HTML][HTML] A general notion of equivalence for abstract argumentation

R Baumann, W Dvořák, T Linsbichler, S Woltran - Artificial Intelligence, 2019 - Elsevier
We introduce a parametrized equivalence notion for abstract argumentation that subsumes
standard and strong equivalence as corner cases. Under this notion, two argumentation …