Composite Activity Recognition in Smart Homes Using Markov Logic Network | IEEE Conference Publication | IEEE Xplore