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 …

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 …

We present an abstract framework for default reasoning, which includes Theorist, default
logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain …

Inspired by legal reasoning, this paper presents a semantics and proof theory of a system for
defeasible argumentation. Arguments are expressed in a logic-programming language with …

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

The idea of ordering plays a basic role in commonsense reasoning for addressing three
inter-related tasks: inconsistency handling, belief revision and plausible inference. We study …

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 …

This paper presents a formalism that combines useful properties of both logic and
probabilities. Like logic, the formalism admits qualitative sentences and provides symbolic …

Since its publication, Essentials of Artificial Intelligence has been adopted at numerous
universities and colleges offering introductory AI courses at the graduate and undergraduate …

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