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 …

This article reviews legal applications of logic, with a particularly marked concern for logical
models of legal argument. We argue that the law is a rich test bed and important application …

This paper builds on the recent ASPIC+ formalism, to develop a general framework for
argumentation with preferences. We motivate a revised definition of conflict free sets of …

The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that
combines results of Logic Programming and Defeasible Argumentation. DeLP provides the …

We present an abstract framework for default reasoning, which includes Theorist, default
logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain …

Argument construction and reinstatement in logics for defeasible reasoning Page 1 Artificial
Intelligence and Law 9: 1–28, 2001. © 2001 Kluwer Academic Publishers. Printed in the …

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 …

We give an introductory tutorial to assumption-based argumentation (referred to as ABA)–a
form of argumentation where arguments and attacks are notions derived from primitive …

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

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 …