Modeling and Using Context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings - Patrick Blackburn, Chiara Ghidini, Roy M. Turner, Fausto Giunchiglia ((Lecture Notes in Computer Science))