TY - RPRT TI - A Situation Calculus-based Approach To Model Ubiquitous Information Services AU - Dong Wen-Yu AU - Xu Ke AU - Lin Meng-Xiang PY - 2004 UR - https://arxiv.org/abs/cs/0311052 ID - cs/0311052 ER -