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 …

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

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 …

Argument construction and reinstatement in logics for defeasible reasoning Page 1 Artificial
Intelligence and Law 9: 1–28, 2001. © 2001 Kluwer Academic Publishers. Printed in the …

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 …

In this paper, we address the issue of how Gelfond and Lifschitz's answer set semantics for
extended logic programs can be suitably modified to handle prioritized programs. In such …

Logic programs with ordered disjunction (LPODs) contain a new connective which allows
representing alternative, ranked options for problem solutions in the heads of rules: A× B …

Representing and reasoning with priorities are important in commonsense reasoning. This
paper introduces a framework of prioritized logic programming (PLP), which has a …

We introduce a methodology and framework for expressing general preference information
in logic programming under the answer set semantics. An ordered logic program is an …

Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked
options for problem solutions. The logic adds to classical propositional logic a new …