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

Computational argumentation-based chatbots: a survey

F Castagna, N Kökciyan, I Sassoon, S Parsons… - Journal of Artificial …, 2024 - jair.org
Chatbots are conversational software applications designed to interact dialectically with
users for a plethora of different purposes. Surprisingly, these colloquial agents have only …

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

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

The added value of argumentation

S Modgil, F Toni, F Bex, I Bratko, CI Chesnevar… - Agreement …, 2013 - Springer
We discuss the value of argumentation in reaching agreements, based on its capability for
dealing with conflicts and uncertainty. Logic-based models of argumentation have recently …

Arg 2 P: an argumentation framework for explainable intelligent systems

R Calegari, A Omicini, G Pisano… - Journal of Logic and …, 2022 - academic.oup.com
In this paper we present the computational model of Arg 2 P, a logic-based argumentation
framework for defeasible reasoning and agent conversation particularly suitable for …

Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive

S Bistarelli, F Rossi, F Santini - Journal of Logic and …, 2018 - academic.oup.com
We test different solvers dedicated to the solution of classical problems in Abstract
Argumentation, as enumeration/existence of extensions, and sceptical/credulous …

A discussion game for grounded semantics

M Caminada - Theory and Applications of Formal Argumentation …, 2015 - Springer
We introduce an argument-based discussion game where the ability to win the game for a
particular argument coincides with the argument being in the grounded extension. Our game …

[PDF][PDF] An argumentation engine: Argtrust

Y Tang, E Sklar, S Parsons - Ninth International Workshop on …, 2012 - nms.kcl.ac.uk
Argumentation is a well-studied formal model for multiagent interaction that supports
exchange of information about agents' beliefs and reasons why agents hold their beliefs. We …

[PDF][PDF] Implementing abstract argumentation-a survey

G Charwat, W Dvorák, SA Gaggl… - Institut Fur Information …, 2013 - dbai.tuwien.ac.at
Within the last decade, abstract argumentation has emerged as a central field in Artificial
Intelligence. Besides serving as a core formalism for many advanced argumentation …