Encoding Argumentation Semantics by Boolean Algebra

Pu, Fuan; Luo, Guangsheng; Zhou, Jian

doi:10.1587/transinf.2016edp7313

Cited by 4 publications

(1 citation statement)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Table 3 synthetizes the different cases. [24,26,46,54,61,69,83,84,88,89] Note that the complexity of the chosen logic must be taken into account: it is more or less difficult to compute models and to establish the link between these models and the output that must be produced. This point is related to the next criterion.…”

Section: Comparison Criteriamentioning

confidence: 99%

Logical theories and abstract argumentation: A survey of existing works

Besnard

Cayrol

Lagasquie-Schiex

2020

AAC

View full text Add to dashboard Cite

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 this case: logic programming). Since that time, a lot of work have pursued this path, proposing different definitions, uses and exhibiting distinct relationships between argumentation and logic. In this paper, we present a survey of existing works about this topic and more especially those that address the following question: "How logic has been used for capturing various aspects or parts of Dung's argumentation". This survey covers many different approaches but is not intended to be totally exhaustive due to the huge quantity of papers in this scope. Moreover, due to the fact that each approach has its own specificities, sometimes antagonistic with the other approaches, and is also justified by its own context of definition or use, the aim of this survey is not to identify one approach as being better than another.

show abstract

Section: Comparison Criteriamentioning

confidence: 99%

Logical theories and abstract argumentation: A survey of existing works

Besnard

Cayrol

Lagasquie-Schiex

2020

AAC

View full text Add to dashboard Cite

show abstract

Design and results of the Second International Competition on Computational Models of Argumentation

Gaggl

Linsbichler

Maratea

et al. 2020

Artificial Intelligence

View full text Add to dashboard Cite

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 in competition events, similar to other closely related problem solving technologies. In this paper, we report about the design and results of the Second International Competition on Computational Models of Argumentation, which has been jointly organized by TU Dresden (Germany), TU Wien (Austria), and the University of Genova (Italy), in affiliation with the 2017 International Workshop on Theory and Applications of Formal Argumentation. This second edition maintains some of the design choices made in the first event, e.g. the I/O formats, the basic reasoning problems, and the organization into tasks and tracks. At the same time, it introduces significant novelties, e.g. three additional prominent semantics, and an instance selection stage for classifying instances according to their empirical hardness. $ This paper is an extended and revised version of a paper presented at the First International Workshop on Systems and Algorithms for Formal Argumentation (Gaggl et al., 2016), which included the design of the event before the competition was run. A brief survey of the competition is to be published in AI Magazine (Gaggl et al., 2018).

show abstract