1. Lecture Notes in Computer Science;Y. Rogers,2006
2. Patkos, T., Bikakis, A., Antoniou, G., Papadopouli, M., Plexousakis, D.: A Semantics-based Framework for Context-Aware Services: Lessons Learned and Challenges. In: UIC 2007, pp. 839–848 (2007)
3. Chen, H., Finin, T., Joshi, A.: The SOUPA Ontology for Pervasive Computing. In: Tamma, V., Stephen Cranefield, T.F., Willmott, S. (eds.) Ontologies for Agents: Theory and Experiences, Springer, Heidelberg (2005)
4. Fikes, R., Nilsson, N.J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. In: IJCAI, pp. 608–620 (1971)
5. Levesque, H., Pirri, F., Reiter, R.: Foundations for the Situation Calculus. In: Linkoping Electronic Articles in Computer and Information Science, vol. 3 (1998)