A web information system (WIS) can be described by abstract locations and transitions between them that are enabled by user actions. This leads to Kleene algebras with tests, thus can be subject to reasoning with equations. In particular, this can be applied to personalisation according to the preferences and goals of users. In this paper we first study decidability and complexity of this reasoning process, then present a Knuth-Bendix-type algorithmic solution for the problem. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Schewe, K. D., & Thalheim, B. (2005). An algorithmic approach to high-level personalisation of web information systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3739 LNCS, pp. 737–742). https://doi.org/10.1007/11563952_73
Mendeley helps you to discover research relevant for your work.