From Logic Programming to Argumentation and Back

In comparison with our approach, these other works can be seen more as a form of belief re- vision, based on argumentation, for classically inconsistent theories rather than

Thanks to YALLA U and considering an update operator ♦ T that minimizes the changes wrt to addition and removal of arguments, with T being a set of authorized transitions for a

We present some graph theoretical properties of argumentation graphs obtained from an inconsistent knowledge base expressed using existential rules.. ACM

It is obvious that in the case of a consistent knowledge base, the corresponding argumentation framework has exactly one extension, which contains all arguments, in- dependently of

We start by showing that under some reasonable conditions on the attack relation, an argumentation system built from a knowledge base 6 has a finite number of extensions even if its

In Section 3 we consider logical properties among attack and defend statements, and in Section 4 we introduce a modal generalization of the logic to define variants and

Summarizing, this logic of meta-argumentation allows us to specify and verify complex requirements for extended frameworks, such as extended argumentation frameworks with higher

Accordingly, in this paper we identify the research opportu- nities arising from re-interpreting the blockchain from a logic- based perspective: on the one hand, how logic