Logic-Based Representation and Reasoning for User Modeling Shell Systems Wolfgang Pohl OriginalPaper Pages: 217 - 282