Logical theories and abstract argumentation: A survey of existing works

P Besnard, C Cayrol… - Argument & …, 2020 - content.iospress.com
In 1995, in his seminal paper introducing the abstract argumentation framework, Dung has
also established the first relationship between this framework and a logical framework (in …

Valid attacks in argumentation frameworks with recursive attacks

C Cayrol, J Fandinno, L Fariñas del Cerro… - Annals of Mathematics …, 2021 - Springer
The purpose of this work is to study a generalisation of Dung's abstract argumentation
frameworks that allows representing recursive attacks, that is, a class of attacks whose …

Argumentation frameworks with recursive attacks and evidence-based supports

C Cayrol, J Fandinno, L Fariñas del Cerro… - … of Information and …, 2018 - Springer
The purpose of this work is to study a generalisation of Dung's abstract argumentation
frameworks that allows representing positive interactions (called supports). The notion of …

A schema for generating relevant logic programming semantics and its applications in argumentation theory

JC Nieves, M Osorio, C Zepeda - Fundamenta Informaticae, 2011 - content.iospress.com
In the literature, there are several approaches which try to perform common sense
reasoning. Among them, the approaches which have probably received the most attention …

Generic logical encoding for argumentation

P Besnard, S Doutre, TÉ Duchatelle… - Journal of Logic and …, 2023 - academic.oup.com
Abstract Argumentation has become an essential tool in AI, allowing the representation of
knowledge with only a set of arguments and a binary relation between arguments, the attack …

Representing argumentation frameworks in answer set programming

C Sakama, T Rienstra - Fundamenta Informaticae, 2017 - content.iospress.com
This paper studies representation of argumentation frameworks (AFs) in answer set
programming (ASP). Four different transformations from AFs to logic programs are provided …

TREND: Toward real energy-efficient network design

MA Marsan, S Buzzi, L Chiaraviglio… - … Internet and ICT for …, 2012 - ieeexplore.ieee.org
This paper briefly describes the objectives of the TREND (Toward Real Energy-efficient
Network Design) Network of Excellence of the European Commission 7 th Framework …

Range-based argumentation semantics as two-valued models

M Osorio, JC Nieves - Theory and Practice of Logic Programming, 2017 - cambridge.org
Characterizations of semi-stable and stage extensions in terms of two-valued logical models
are presented. To this end, the so-called GL-supported and GL-stage models are defined …

Complete extensions as Clark's completion semantics

M Osorio, JC Nieves, A Santoyo - 2013 Mexican International …, 2013 - ieeexplore.ieee.org
According to Dung, the sets of arguments which can be considered as admissible from an
argumentation framework can be regarded as logical models of a given logic program …

[HTML][HTML] Equivalence for the G3′-stable models semantics

JL Carballido, M Osorio, JR Arrazola - Journal of Applied Logic, 2010 - Elsevier
We study the notion of strong equivalence between two disjunctive logic programs under the
G3′-stable model semantics, also called the p-stable semantics, and we show how some …