Martin Smith explores a question central to philosophy—namely, what does it take for a
belief to be justified or rational? According to a widespread view, whether one has …

Video-based face recognition (FR) is a challenging task in real-world applications. In still-to-
video FR, probe facial regions of interest (ROIs) are typically captured with lower-quality …

We present a decidable extension of the Description Logic SROIQ that supports defeasible
reasoning in the KLM tradition, and extends it through the introduction of defeasible roles …

The description logic dSROIQ is a decidable extension of SROIQ that supports defeasible
reasoning in the KLM tradition. It features a parameterised preference order on binary …

In this paper we study the relation between nonmonotonic reasoning and belief revision. Our
main conceptual contribution is to suggest that nonmonotonic reasoning guides but does not …

Default conditionals are statements that express a condition of normality, in the form'ifφ then
normally ψ'and are of primary importance in Knowledge Representation. There exist modal …

Defeasible conditionals are statements of the form 'if A then normally B'. One plausible
interpretation introduced in nonmonotonic reasoning dictates that (A ⇒ BA⇒ B) is true iff B is …

Plausible reasoning concerns situations whose inherent lack of precision is not quantified;
that is, there are no degrees or levels of precision, and hence no use of numbers like …

Formal semantic theories are designed to explain how it is possible to produce and
understand an infinite number of sentences on the basis of a finite lexicon and a finite …

Deliberation often leads to changes in preferences and beliefs of an agent, influenced by the
opinions of others, depending on how reliable these agents are according to the agent …