[HTML][HTML] Methods for solving reasoning problems in abstract argumentation–a survey
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 …
Intelligence. Besides providing a core formalism for many advanced argumentation systems …
[HTML][HTML] Complexity-sensitive decision procedures for abstract argumentation
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 …
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
This paper tackles the fundamental questions arising when looking at argumentation
frameworks as interacting components, characterized by an Input/Output behavior, rather …
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 …
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 …
This research note provides novel results concerning the incremental computation of the
stable and ideal argumentation semantics, by extending the division-based method …
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
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 …
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 …
the flagship role in Dung's abstract argumentation theory. Almost all of them are motivated …
Incremental computation of deterministic extensions for dynamic argumentation frameworks
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 …
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
Incompleteness and undecidedness are pervasively present in human reasoning activities
and make the definition of the relevant computational models challenging. In this discussion …
and make the definition of the relevant computational models challenging. In this discussion …
[HTML][HTML] A general notion of equivalence for abstract argumentation
We introduce a parametrized equivalence notion for abstract argumentation that subsumes
standard and strong equivalence as corner cases. Under this notion, two argumentation …
standard and strong equivalence as corner cases. Under this notion, two argumentation …