Thang M. Do, Seng Wai Loke, Fei Liu. HealthyLife: An Activity Recognition System with Smartphone Using Logic-Based Stream Reasoning. In Kan Zheng, Mo Li, Hongbo Jiang, editors, Mobile and Ubiquitous Systems: Computing, Networking, and Services - 9th International Conference, MobiQuitous 2012, Beijing, China, December 12-14, 2012. Revised Selected Papers. Volume 120 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 188-199, Springer, 2012. [doi]