Situation calculus and personalized web systems | IEEE Conference Publication | IEEE Xplore