Agent supervision is a form of control/customization where a supervisor restricts the behavior of an agent to enforce certain requirements, while leaving the agent as much autonomy as possible. This is done in a setting based on the situation calculus and a variant of the ConGolog programming language that is situation-determined, i.e., the remaining program is a function of the action performe...

This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to provide adaptive navigation. The different levels of conception, related to different aspects of the available metadata, are split in different layers in GLAM, in order to ease the conception of the adaptation system a...

We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segment based calculus, the dipole calculus and necessary extensions for representing navigational concepts like turn right. We investigate how its conceptual neighborhood structure can be applied in the situation calculus for reaso...

La rupture de rate est une extrême urgence chirurgicale abdominale qui met très rapidement en jeu le pronostic vital. Les étiologies fréquemment retrouvées sont les traumatismes abdominaux par contusions ou plaies pénétrantes. La survenue d’une rupture de rate au cours de l’accouchement est un événement rare. Nous rapportons dans cette observation le cas d’une rupture splénique suite à des expr...

We provide an overview of the probability and statistical tools underlying the extreme value theory, which aims to predict occurrence of rare events. Firstly, we explain that the asymptotic distribution of extreme values belongs, in some sense, to the family of the generalised extreme value distributions which depend on a real parameter, called the extreme value index. Secondly, we discuss stat...