Skip to Main content Skip to Navigation
Conference papers

A formal approach to personalization

Abstract : Personalized systems are a response to the increasing number of resources on the Internet. In order to facilitate their design and creation, we aim at formalizing them. In this paper, we consider the relationship between a personalized application and its non-personalized counterpart. We argue that a personalized application is a formal extension of a non-personalized one. We aim at characterizing the syntactic differences between the expression of the personalized and non-personalized versions of the application. Situation calculus is our framework to formalize applications. We introduce two scenarios of non-personalized application that we personalize to illustrate our approach.
Document type :
Conference papers
Complete list of metadata
Contributor : Evelyne Faivre Connect in order to contact the contributor
Submitted on : Wednesday, November 30, 2011 - 4:24:35 PM
Last modification on : Monday, December 14, 2020 - 12:38:06 PM




Georges Dubus, Fabrice Popineau, Yolaine Bourda. A formal approach to personalization. 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, Nov 2011, Boca Raton (Floride), United States. pp.233-238, ⟨10.1109/ICTAI.2011.43⟩. ⟨hal-00646744⟩



Les métriques sont temporairement indisponibles