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 …

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 …

Markov decision problems (MDPs) provide the foundations for a number of problems of
interest to AI researchers studying automated planning and reinforcement learning. In this …

We explore a framework for argumentation (based on classical logic) in which an argument
is a pair where the first item in the pair is a minimal consistent set of formulae that proves the …

Argumentation theory has become an important topic in the field of AI. The basic idea is to
construct arguments in favor and against a statement, to select the “acceptable” ones and …

Many autonomous agents operate in domains in which the cooperation of their fellow agents
cannot be guaranteed. In such domains negotiation is essential to persuade others of the …

Abstract Argumentation is a promising approach to handle inconsistent knowledge bases,
based on the justification of plausible conclusions by arguments. Because of inconsistency …

The paper studies semantics that evaluate arguments in argumentation graphs, where each
argument has a basic strength, and may be attacked by other arguments. It starts by defining …

Argumentation is a promising model for reasoning with uncertain knowledge. The key
concept of acceptability enables to differentiate arguments and counterarguments: The …