Erratum
Logic-Based Representation and Reasoning for User Modeling Shell Systems*