[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 …

An introduction to argumentation semantics

P Baroni, M Caminada, M Giacomin - The knowledge engineering …, 2011 - cambridge.org
This paper presents an overview on the state of the art of semantics for abstract
argumentation, covering both some of the most influential literature proposals and some …

[PDF][PDF] Computational problems in formal argumentation and their complexity

W Dvorák, PE Dunne - JOURNAL OF APPLIED LOGICS …, 2017 - livrepository.liverpool.ac.uk
Wolfgang Dvorák, Paul E. Dunne abstract. In this chapter we give an overview of the core
computational problems arising in formal argumentation together with a complexity analysis …

Weighted argument systems: Basic definitions, algorithms, and complexity results

PE Dunne, A Hunter, P McBurney, S Parsons… - Artificial Intelligence, 2011 - Elsevier
We introduce and investigate a natural extension of Dung's well-known model of argument
systems in which attacks are associated with a weight, indicating the relative strength of the …

Probabilistic argumentation frameworks

H Li, N Oren, TJ Norman - … workshop on theorie and applications of formal …, 2011 - Springer
In this paper, we extend Dung's seminal argument framework to form a probabilistic
argument framework by associating probabilities with arguments and defeats. We then …

[HTML][HTML] Acceptance in incomplete argumentation frameworks

D Baumeister, M Järvisalo, D Neugebauer… - Artificial Intelligence, 2021 - Elsevier
Abstract argumentation frameworks (AFs), originally proposed by Dung, constitute a central
formal model for the study of computational aspects of argumentation in AI. Credulous and …

[HTML][HTML] Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks

G Alfano, M Calautti, S Greco, F Parisi, I Trubitsyna - Artificial Intelligence, 2023 - Elsevier
Abstract Dung's Argumentation Framework (AF) has been extended in several directions,
including the possibility of representing uncertainty about the existence of arguments and …

[PDF][PDF] Foundations of implementations for formal argumentation

F Cerutti, SA Gaggl, M Thimm… - IfCoLog Journal of …, 2017 - iccl.inf.tu-dresden.de
Federico Cerutti, Sarah A. Gaggl, Matthias Thimm, Johannes P. Wallner abstract. We survey
the current state of the art of general techniques, as well as specific software systems for …

Dynamics of argumentation systems: A division-based method

B Liao, L Jin, RC Koons - Artificial Intelligence, 2011 - Elsevier
The changing of arguments and their attack relation is an intrinsic property of a variety of
argumentation systems. So, it is very important to efficiently figure out how the status of …

Argumentation for explainable scheduling

K Čyras, D Letsios, R Misener, F Toni - … of the AAAI Conference on Artificial …, 2019 - aaai.org
Mathematical optimization offers highly-effective tools for finding solutions for problems with
well-defined goals, notably scheduling. However, optimization solvers are often …