Explanation has been a central feature of AI systems for legal reasoning since their
inception. Recently, the topic of explanation of decisions has taken on a new urgency …

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 …

Argumentation and eXplainable Artificial Intelligence (XAI) are closely related, as in the
recent years, Argumentation has been used for providing Explainability to AI. Argumentation …

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 …

We provide a retrospective of 25 years of the International Conference on AI and Law, which
was first held in 1987. Fifty papers have been selected from the thirteen conferences and …

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

The first issue of Artificial Intelligence and Law journal was published in 1992. This paper
provides commentaries on landmark papers from the first decade of that journal. The topics …

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 …

This article reviews formal systems that regulate persuasion dialogues. In such dialogues
two or more participants aim to resolve a difference of opinion, each trying to persuade the …

Currently there is a revival of the study of dialectical argumentation in the artificial
intelligence community. There are good reasons why: First, the notions of argument and …