We present a systematic approach for extending the KLM framework for defeasible
entailment. We first present a class of basic defeasible entailment relations, characterise it in …

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 …

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

According to the KK-principle, knowledge iterates freely. It has been argued, notably in
Greco (J Philos 111: 169–197, 2014a), that accounts of knowledge which involve essential …

In this article we introduce a logical structure for normative reasoning, called Normative
Detachment Structure with Ideal Conditions, that can be used to represent the content of …

We identify a pervasive contrast between implicit and explicit stances in logical analysis and
system design. Implicit systems change received meanings of logical constants and …

In this paper we present an approach to defeasible reasoning for the description logic ALC.
The results discussed here are based on work done by Kraus, Lehmann and Magidor (KLM) …

In recent work, we addressed an important limitation in previous extensions of description
logics to represent defeasible knowledge, namely the restriction in the semantics of …

We extend description logics (DLs) with non-monotonic reasoning features. We start by
investigating a notion of defeasible subsumption in the spirit of defeasible conditionals as …

Logics (DLs) are increasingly successful knowledge representation formalisms, useful for
any application requiring implicit derivation of knowledge from explicitly known facts. A …