Author:Britz, K; Varzinczak, IDate:Jan 2013Nonmonotonic logics are usually characterized by the presence of some notion of `conditional' that fails monotonicity. Research on nonmonotonic logics is therefore largely concerned with the defeasibility of argument forms and the associated ...Read more
Author:Britz, K; Varzinczak, IDate:Mar 2018We investigate an aspect of defeasibility that has somewhat been overlooked by the nonmonotonic reasoning community, namely that of defeasible modes of reasoning. These aim to formalise defeasibility of the traditional notion of necessity in ...Read more
Author:Britz, K; Heidema, J; Meyer, TDate:Dec 2009The authors present a semantic model of typicality of concept members in description logics (DLs) that accords well with a binary, globalist cognitive model of class membership and typicality. The authors define a general preferential semantic ...Read more
Author:Britz, K; Heidema, J; Meyer, TDate:Jul 2009The authors presents a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typicality. The authors define a general preferential semantic ...Read more
Author:Britz, K; Varzinczak, IDate:Jun 2018Modal 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 investigate an alternative semantics, based on ordered accessibility ...Read more
Author:Britz, K; Casini, G; Meyer, T; Varzinczak, IDate:Jul 2013We extend the Description Logic ALC with preferential role restrictions as class constructs, and argue that preferential universal restriction represents a defeasible version of standard universal restriction. The resulting DL is more expressive ...Read more