In recent years, many systems have been developed which aim at helping users to find pieces of information or other objects that are in accordance with their personal interests. In these systems, machine learning methods are often used to acquire the user interest profile. Frequently user interests drift with time. The ability to adapt fast to the current user's interests is an important featur...

Abstract Gradualizing System F has been widely discussed. A big challenge is to preserve relational parametricity and/or the gradual guarantee. Most past work focused on preservation of parametricity, but often without few recent works satisfy both properties by giving up syntax, or with some restrictions and introduction sophisticated mechanisms in dynamic semantics. While important for polymo...

Gradualizing the Calculus of Inductive Constructions (CIC) involves dealing with subtle tensions between normalization, graduality, and conservativity respect to CIC. Recently, GCIC has been proposed as a parametrized gradual type theory that admits three variants, each sacrificing one these properties. For devising proof assistant based on CIC, normalization CIC are key, but tension graduality...

ance.” He acknowledged that, in order to defend themselves against the Soviet threat as long as i t lasts, the peoples on both sides of the Atlantic must be linked together, and more specifically, he asserted that despite divergencies over the organization and functioning of the alliance itself, France and the United States would be side by side again in the event of a general war. In short, on...

Abs t rac t . Topoi are gradual inference rules, often used by experts in several problem classes: they can be exploited at various phases of a knowledge-based system life cycle. They can be studied at the two levels distinguished by Newelh the knowledge level and the symbol level. Some knowledge elicitation techniques such as rating grids and some knowledge acquisition methods such as KADS and...