A Hierarchical Human Activity Recognition Framework Based on Automated Reasoning | IEEE Conference Publication | IEEE Xplore