A Probabilistic Multi-Agent System Architecture for Reasoning in Smart Homes | IEEE Conference Publication | IEEE Xplore