Logic based representation and reasoning for user modeling shell systemsWolfgang PohlÉpuiséPrévenez-moi