Pohl, W.W.Pohl2022-03-092022-03-091996https://publica.fraunhofer.de/handle/publica/32755710.1007/3-540-61313-7_95enknowledge representationreasoning004005006400Combining partitions and modal logic for user modelingconference paper