Logic-based technologies for multi-agent systems: a systematic literature review

R Calegari, G Ciatto, V Mascardi, A Omicini - Autonomous Agents and …, 2021 - Springer
Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

Logic-based technologies for intelligent systems: State of the art and perspectives

R Calegari, G Ciatto, E Denti, A Omicini - Information, 2020 - mdpi.com
Together with the disruptive development of modern sub-symbolic approaches to artificial
intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more …

[HTML][HTML] Design and results of the second international competition on computational models of argumentation

SA Gaggl, T Linsbichler, M Maratea, S Woltran - Artificial Intelligence, 2020 - Elsevier
Abstract Argumentation is a major topic in the study of Artificial Intelligence. Since the first
edition in 2015, advancements in solving (abstract) argumentation frameworks are assessed …

[PDF][PDF] Comparing Weak Admissibility Semantics to their Dung-style Counterparts--Reduct, Modularization, and Strong Equivalence in Abstract Argumentation

R Baumann, G Brewka… - Proceedings of the …, 2020 - informatik.uni-leipzig.de
Abstract Semantics based on weak admissibility were recently introduced to overcome a
problem with self-defeating arguments that has not been solved for more than 25 years. The …

Using graph convolutional networks for approximate reasoning with abstract argumentation frameworks: A feasibility study

I Kuhlmann, M Thimm - International Conference on Scalable Uncertainty …, 2019 - Springer
We employ graph convolutional networks for the purpose of determining the set of
acceptable arguments under preferred semantics in abstract argumentation problems. While …

Solving advanced argumentation problems with answer set programming

G Brewka, M Diller, G Heissenberger… - Theory and Practice of …, 2020 - cambridge.org
Powerful formalisms for abstract argumentation have been proposed, among them abstract
dialectical frameworks (ADFs) that allow for a succinct and flexible specification of the …

[PDF][PDF] Graph Neural Networks for Algorithm Selection in Abstract Argumentation.

J Klein, I Kuhlmann, M Thimm - ArgML@ COMMA, 2022 - colonyofmalice.de
We address the task of selecting the fastest algorithm, in terms of runtime, for determining
skeptical acceptance under preferred semantics in abstract argumentation frameworks out of …

Structural constraints for dynamic operators in abstract argumentation

JP Wallner - Argument & Computation, 2020 - journals.sagepub.com
Many recent studies of dynamics in formal argumentation within AI focus on the well-known
formalism of Dung's argumentation frameworks (AFs). Despite the usefulness of AFs in many …

Computing grounded extensions of abstract argumentation frameworks

S Nofal, K Atkinson, PE Dunne - The Computer Journal, 2021 - academic.oup.com
An abstract argumentation framework is a directed graph such that the vertices of denote
abstract arguments and represents the attack relation between them. We present a new ad …

Reasoning in assumption-based argumentation using tree-decompositions

A Popescu, JP Wallner - European Conference on Logics in Artificial …, 2023 - Springer
We address complex reasoning tasks in assumption-based argumentation (ABA) by
develo** dynamic programming algorithms based on tree-decompositions. As one of the …