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 …

Inspired by legal reasoning, this paper presents a semantics and proof theory of a system for
defeasible argumentation. Arguments are expressed in a logic-programming language with …

We present a formal, mathematical model of argument structure and evaluation, taking
seriously the procedural and dialogical aspects of argumentation. The model applies proof …

Inspired by legal reasoning, this paper presents a formal framework for assessing conflicting
arguments. Its use is illustrated with applications to realistic legal examples, and the …

In this paper, we develop a theory of abstract argumentation systems. An abstract
argumentation system is a collection of “defeasible proofs”, called arguments, that is partially …

Previous chapters have focussed on abstract argumentation frameworks and properties of
sets of arguments defined under various extension-based semantics. The main focus of this …

In this book a theory of reasoning with evidence in the context of criminal cases is
developed. The main subject of this study is not the law of evidence but rather the rational …

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 …

In most existing argumentation systems, only one kind of interaction is considered between
arguments. It is the so-called attack relation. However, recent studies on argumentation [23 …

Virtual environments enable a given information space to be traversed in different ways by
different individuals, using different routes and navigation tools. However, we urgently need …