Logic Programming for Context-Aware Pervasive Computing: Language Support, Characterizing Situations, and Integration with the Web | IEEE Conference Publication | IEEE Xplore