Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic | IEEE Conference Publication | IEEE Xplore