Tool support for combined rule-based and goal-based reasoning in Context-Aware systems | IEEE Conference Publication | IEEE Xplore