Abstract Description logics have been extended in a number of ways to support defeasible
reasoning in the KLM tradition. Such features include preferential or rational defeasible …

We investigate an aspect of defeasibility that has somewhat been overlooked by the non-
monotonic reasoning community, namely that of defeasible modes of reasoning. These aim …

In this work, we propose a meaningful extension of description logics for non-monotonic
reasoning. We introduce ALCH^ ∙ ALCH∙, a logic allowing for the representation of and …

In this paper, we extend description logics (DLs) with non-monotonic reasoning fea-tures.
We start by investigating a notion of defeasible subsumption in the spirit of defeasible …

Modal accounts of normality in non-monotonic reasoning traditionally have an underlying
semantics based on a notion of preference amongst worlds. In this paper, we motivate and …

The normative realm involves deontic notions such as obligation or permission, as well as
information about relevant actions and states of the world. This mixture is not static, given …

The notion of preference is important in philosophy, decision theory, and many other
disciplines. It is the interplay of information and preferences that provides the driving force …

In this paper we present what we believe to be the first systematic approach for extending
the framework for de-feasible entailment first presented by Kraus, Lehmann, and Magidor …

Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching
classical propositional logic with a typicality operator capturing the most typical (alias normal …

Résumé Dans la littérature sur les bases de données, il a été proposé d'utiliser des
contraintes d'intégrité actives afin de restaurer l'intégrité de la base. Ces contraintes …