Logic is the science that deals with the formal principles and criteria of validity of patterns of
inference. This chapter surveys logics for a particular group of patterns of inference, namely …

Logical models of arguement formalize commonsense reasoning while taking process and
computation seriously. This survey discusses the main ideas that characterize different …

Logic-based formalizations of argumentation that take pros and cons for some conclusion
into account have been extensively studied over a number of years, and some basic …

We present two dialectic procedures for the sceptical ideal semantics for argumentation. The
first procedure is defined in terms of dispute trees, for abstract argumentation frameworks …

Assumption-Based Argumentation (ABA)[4, 3, 27, 11, 12, 20, 22] was developed, starting in
the 90s, as a computational framework to reconcile and generalise most existing …

Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic
reasoning. It has powerful implementations and shows promise to be applied in the areas of …

We present a family of dialectic proof procedures for the admissibility semantics of
assumption-based argumentation. These proof procedures are defined for any conventional …

In the frame of Digital Forensic (DF) and Digital Investigations (DI), the “Evidence Analysis”
phase has the aim to provide objective data, and to perform suitable elaboration of these …

This paper studies argumentation-based dialogues between agents. It defines a set of
locutions by which agents can trade arguments, a set of agent attitudes which relate what …

This paper presents dialectical proof theories for Dung's pre-ferred semantics of defeasible
argumentation. The proof theories have the form of argument games for testing membership …