A Rule Verification and Resolution Framework in Smart Building System.

Hong Luo, Ruosi Wang, Xinming Li

Browse the full ICPADS paper archive.