The usage of formal logic to solve problems in artificial intelligence has a long history in the
field. Information is represented in a formal language, which facilitates algorithmic reasoning …

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

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) …

Abstract Reasoning about exceptions in ontologies is nowadays one of the challenges the
description logics community is facing. The paper describes a preferential approach for …

Das Wissen intelligenter Agenten ist häufig unvollständig und beruht auf Zusammen
hängen, die zwar typischerweise, aber nicht ausnahmslos gelten. Das Auftreten von …

In many problem domains, particularly those related to mathematics and philosophy,
classical logic has enjoyed great success as a model of valid reasoning and discourse. For …

In this paper we propose an algorithm that generalises existing procedures for the
implementation of defeasible reasoning in the framework of Description Logics (DLs). One of …

The field of defeasible reasoning has a variety of frameworks, all of which are constructed
with the view of codifying the patterns of common-sense reasoning inherent to human …

Abstract Reasoning about exceptions in ontologies is nowadays one of the challenges the
description logics community is facing. The paper describes a preferential approach for …