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