Logic based representation and reasoning for user modeling shell systems | lit.salon