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 …

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

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 …

Understanding argumentation and its role in human reasoning has been a continuous
subject of investigation for scholars from the ancient Greek philosophers to current …

Abstract Argumentation represents a way of reasoning over a knowledge base containing
possibly incomplete and/or inconsistent information, to obtain useful conclusions. As a …

We present different constructions for nonprioritized belief revision, that is, belief changes in
which the input sentences are not always accepted. First, we present the concept of …

Most formalisms for representing common-sense knowledge allow incomplete and
potentially inconsistent information. When strong negation is also allowed, contradictory …

The concept of explanation has received attention from different areas in Computer Science,
particularly in the knowledge-based systems and expert systems communities. At the same …

This paper proposes a formal framework for argumentative dialogue systems with the
possibility of counterargument. The framework allows for claiming, challenging, retracting …