Return to Conference Proceedings Submission Details Logical Expression Tutoring System for Controlling Smart Devices in Multi-User Environments Download Download PDF