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

Research challenges in legal-rule and QoS-aware cloud service brokerage

E Casalicchio, V Cardellini, G Interino… - Future Generation …, 2018 - Elsevier
The ICT industry and specifically critical sectors, such as healthcare, transportation, energy
and government, require as mandatory the compliance of ICT systems and services with …

[HTML][HTML] How we designed winning algorithms for abstract argumentation and which insight we attained

F Cerutti, M Giacomin, M Vallati - Artificial Intelligence, 2019 - Elsevier
In this paper we illustrate the design choices that led to the development of ArgSemSAT, the
winner of the preferred semantics track at the 2017 International Competition on …

Revisiting initial sets in abstract argumentation

M Thimm - Argument & Computation, 2022 - content.iospress.com
We revisit the notion of initial sets by Xu and Cayrol (In Proceedings of the 1st Chinese
Conference on Logic and Argumentation (CLAR'16) 2016), ie, non-empty minimal …

A distributed and clustering-based algorithm for the enumeration problem in abstract argumentation

S Doutre, M Lafages, MC Lagasquie-Schiex - PRIMA 2019: Principles and …, 2019 - Springer
Computing acceptability semantics of abstract argumentation frameworks is receiving
increasing attention. Large-scale instances, with a clustered structure, have shown …

RAFDivider: a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks

S Doutre, MC Lagasquie-Schiex - Journal of Applied Non-Classical …, 2023 - Taylor & Francis
This work is related to a computational issue concerning an enriched abstract argumentation
framework called RAF ('Recursive Argumentation Framework'). A RAF is composed of a set …

Algorithms for enriched abstract argumentation frameworks for large-scale cases

M Lafages - 2021 - theses.hal.science
Abstract argumentation theory proposes methods to represent and deal with contentious
information, and to draw conclusions or take decision from it. Such an abstract approach …

Towards a general theory of decomposability in abstract argumentation

M Giacomin, P Baroni, F Cerutti - International Conference on Logic and …, 2021 - Springer
The paper introduces a general model for the study of decomposability in abstract
argumentation, ie the possibility of determining the semantics outcome based on local …

RAFDivider

S Doutre, MC Lagasquie-Schiex - 2022 - ut3-toulouseinp.hal.science
The topic of this work is related to a computational issue concerning an enriched abstract
argumentation framework called RAF (" Recursive Argumentation Framework"). A RAF is …

Towards parallelising extension construction for serialisable semantics in abstract argumentation

L Bengel, M Thimm - Proceedings of the 20th International Conference …, 2023 - dl.acm.org
We consider the recently proposed notion of serialisability of semantics for abstract
argumentation frameworks. This notion describes a method for the serialised non …