Juan Carlos Augusto Chris D. Nugent Designing Smart Homes, The Role of Artificial Intelligence 4008 2006 3-540-35994-X Designing Smart Homes Lecture Notes in Computer Science Springer db/conf/icost/lncs4008.html