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 …

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

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

Over the last ten years, argumentation has come to be increasingly central as a core study
within Artificial Intelligence (AI). The articles forming this volume reflect a variety of important …

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

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 …

Humans are often extraordinary at performing practical reasoning. There are cases where
the human computer, slow as it is, is faster than any artificial intelligence system. Are we …

This article carries out a formal study of dialogue games for argumentation. A formal
framework for such games is proposed which imposes an explicit reply structure on …

This paper presents an argumentation based framework to support the decision making of
an agent within a modular architecture for agents. The proposed argumentation framework …

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 …