A Distributed Architecture for Reasoning about a Higher-Level Context | IEEE Conference Publication | IEEE Xplore