Towards declarative programming for sensor-based situation-aware applications: The LogicCAP approach | IEEE Conference Publication | IEEE Xplore