This paper proposes a connection method à la Bibel for an
exception-tole...
This paper introduces a novel method for merging open-domain terminologi...
Conditionals are useful for modelling, but are not always sufficiently
e...
We extend description logics (DLs) with non-monotonic reasoning features...
Propositional Typicality Logic (PTL) is a recently proposed logic, obtai...
Standard belief change assumes an underlying logic containing full class...