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 …

Modern distributed systems contain a large number of objects and must be capable of
evolving, without shutting down the complete system, to cater for changing requirements …

Public bodies and agencies increasingly seek to use new forms of data analysis in order to
provide'better public services'. These reforms have consisted of digital service …

This book provides a systematic analysis of many common argumentation schemes and a
compendium of 96 schemes. The study of these schemes, or forms of argument that capture …

An abstract framework for structured arguments is presented, which instantiates Dung's ('On
the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning …

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 an abstract framework for default reasoning, which includes Theorist, default
logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain …

The formal structure of subsumption may be represented in a deductive scheme, which one
might call the “Subsumption Formula.” The author argues that there is an analogous scheme …

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 …