Logic based representation and reasoning for user modeling shell systemsWolfgang PohlUitverkocht4,3Volgen