The main subject and objective of this book are logical foundations of non monotonic
reasoning. This bears a presumption that there is such a thing as a general theory of non …

We present a novel approach to paraconsistent reasoning, that is, to reasoning from
inconsistent information. The basic idea is the following. We transform an inconsistent theory …

This is a title on the foundations of defeasible logic, which explores the formal properties of
everyday reasoning patterns whereby people jump to conclusions, reserving the right to …

Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise
when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to …

The purpose of this paper is to provide a comparative study of non-monotonic syntax-based
consequence relations, from different points of view. Starting from a (not necessarily …

We suggest a foundational representation for the notion of belief and belief change process
based on the notion of an epistemic state and its associated Scott consequence relation. We …

This paper introduces a generalization of Reiter's notion of “extension” for default logic. The
main difference from the original version mainly lies in the way conflicts among defaults are …

Reasoning with incomplete information constitutes a major challenge for any intelligent
system. In fact, we expect such systems not to become paralyzed by missing information but …

First-order theories are ordered under logical entailment based on the amount of information
derived from theories. In default logic, on the other hand, a theory contains default …

We briefly discuss and compare two frameworks for reasoning with inconsistent belief
bases: argumentation systems, based on the construction and selection of acceptable …