Radoslaw Klimek: Exploration of Human Activities Using Message Streaming Brokers and Automated Logical Reasoning for Ambient-Assisted Services. IEEE Access 6: 27127-27155 (2018)