{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:56:16Z","timestamp":1742918176885,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319594798"},{"type":"electronic","value":"9783319594804"}],"license":[{"start":{"date-parts":[[2017,5,28]],"date-time":"2017-05-28T00:00:00Z","timestamp":1495929600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-59480-4_45","type":"book-chapter","created":{"date-parts":[[2017,5,27]],"date-time":"2017-05-27T03:23:39Z","timestamp":1495855419000},"page":"451-460","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Context Reasoning and Prediction in Smart Environments: The Home Manager Case"],"prefix":"10.1007","author":[{"given":"Roberta","family":"Calegari","sequence":"first","affiliation":[]},{"given":"Enrico","family":"Denti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,28]]},"reference":[{"key":"45_CR1","unstructured":"Amazon: Smart Home (2017). \n                  https:\/\/www.amazon.com\/smart-home\/b?node=6563140011"},{"key":"45_CR2","unstructured":"Apple: Apple Home Kit (2014). \n                  https:\/\/developer.apple.com\/homekit\/"},{"key":"45_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.comcom.2014.09.008","volume":"54","author":"E Borgia","year":"2014","unstructured":"Borgia, E.: The Internet of Things vision: key features, applications and open issues. Comput. Commun. 54, 1\u201331 (2014)","journal-title":"Comput. Commun."},{"key":"45_CR4","unstructured":"Boytsov, A.: Context reasoning, context prediction and proactive adaptation in pervasive computing systems (2011)"},{"key":"45_CR5","unstructured":"Calegari, R., Denti, E.: Building smart spaces on the Home Manager platform. ALP Newsletter, December 2016. \n                  https:\/\/www.cs.nmsu.edu\/ALP\/2016\/12\/building-smart-spaces-on-the-home-manager-platform\/"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"Calegari, R., Denti, E.: The Butlers framework for socio-technical smart spaces. In: INSCI 2016. LNCS, vol. 9934, pp. 306\u2013317. Springer (2016)","DOI":"10.1007\/978-3-319-45982-0_26"},{"issue":"6","key":"45_CR7","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/MIC.2004.66","volume":"8","author":"H Chen","year":"2004","unstructured":"Chen, H., Finin, T., Joshi, A., Kagal, L., Perich, F., Chakraborty, D.: Intelligent agents meet the semantic web in smart spaces. IEEE Internet Comput. 8(6), 69\u201379 (2004)","journal-title":"IEEE Internet Comput."},{"issue":"52","key":"45_CR8","first-page":"1","volume":"3","author":"E Denti","year":"2014","unstructured":"Denti, E.: Novel pervasive scenarios for home management: the Butlers architecture. SpringerPlus 3(52), 1\u201330 (2014)","journal-title":"SpringerPlus"},{"key":"45_CR9","doi-asserted-by":"crossref","unstructured":"Denti, E., Calegari, R.: Butler-ising Home Manager: a pervasive multi-agent system for home intelligence. In: 7th International Conference on Agents and Artificial Intelligence (ICAART 2015), pp. 249\u2013256. SCITEPRESS, Lisbon, 10\u201312 January 2015","DOI":"10.5220\/0005284002490256"},{"key":"45_CR10","unstructured":"Denti, E., Omicini, A., Calegari, R.: tuProlog: making Prolog ubiquitous. ALP Newsletter, October 2013. \n                  http:\/\/www.cs.nmsu.edu\/ALP\/2013\/10\/tuprolog-making-prolog-ubiquitous\/"},{"key":"45_CR11","doi-asserted-by":"crossref","unstructured":"Denti, E., Omicini, A., Ricci, A.: tuProlog: a light-weight Prolog for Internet applications and infrastructures. In: Practical Aspects of Declarative Languages. LNCS, vol. 1990, pp. 184\u2013198. Springer (2001)","DOI":"10.1007\/3-540-45241-9_13"},{"key":"45_CR12","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.apenergy.2013.07.003","volume":"113","author":"P Finn","year":"2014","unstructured":"Finn, P., Fitzpatrick, C.: Demand side management of industrial electricity consumption: promoting the use of renewable energy through real-time pricing. Appl. Energy 113, 11\u201321 (2014)","journal-title":"Appl. Energy"},{"key":"45_CR13","unstructured":"Google: Works with Nest (2014). \n                  http:\/\/techcrunch.com\/2014\/06\/23\/google-makes-its-nest-at-the-center-of-the-smart-home\/"},{"key":"45_CR14","unstructured":"GrovePi Home (2017). \n                  http:\/\/www.dexterindustries.com\/grovepi\/"},{"issue":"7","key":"45_CR15","doi-asserted-by":"publisher","first-page":"1645","DOI":"10.1016\/j.future.2013.01.010","volume":"29","author":"J Gubbi","year":"2013","unstructured":"Gubbi, J., Buyya, R., Marusic, S., Palaniswami, M.: Internet of Things (IoT): a vision, architectural elements, and future directions. Future Gener. Comput. Syst. 29(7), 1645\u20131660 (2013)","journal-title":"Future Gener. Comput. Syst."},{"issue":"2","key":"45_CR16","doi-asserted-by":"publisher","first-page":"1587","DOI":"10.1109\/TII.2014.2299233","volume":"10","author":"W He","year":"2014","unstructured":"He, W., Yan, G., Xu, L.D.: Developing vehicular data cloud services in the IoT environment. IEEE Trans. Ind. Inf. 10(2), 1587\u20131595 (2014)","journal-title":"IEEE Trans. Ind. Inf."},{"key":"45_CR17","unstructured":"Home Manager (2017). \n                  apice.unibo.it\/xwiki\/bin\/view\/Products\/HomeManager"},{"key":"45_CR18","unstructured":"Microsoft: the Internet of your things (2015). \n                  https:\/\/dev.windows.com\/en-us\/iot\/"},{"key":"45_CR19","doi-asserted-by":"crossref","unstructured":"Monacchi, A., Egarter, D., Elmenreich, W.: Integrating households into the smart grid. In: 2013 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), pp. 1\u20136, May 2013","DOI":"10.1109\/MSCPES.2013.6623318"},{"issue":"3","key":"45_CR20","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0167-6423(01)00011-9","volume":"41","author":"A Omicini","year":"2001","unstructured":"Omicini, A., Denti, E.: From tuple spaces to tuple centres. Sci. Comput. Program. 41(3), 277\u2013294 (2001)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"45_CR21","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"A Omicini","year":"1999","unstructured":"Omicini, A., Zambonelli, F.: Coordination for Internet application development. Auton. Agents Multi-Agent Syst. 2(3), 251\u2013269 (1999)","journal-title":"Auton. Agents Multi-Agent Syst."},{"issue":"3","key":"45_CR22","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1109\/TII.2011.2158841","volume":"7","author":"P Palensky","year":"2011","unstructured":"Palensky, P., Dietrich, D.: Demand side management: demand response, intelligent energy systems, and smart loads. IEEE Trans. Ind. Inf. 7(3), 381\u2013388 (2011)","journal-title":"IEEE Trans. Ind. Inf."},{"issue":"2","key":"45_CR23","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MPRV.2015.44","volume":"14","author":"A Ricci","year":"2015","unstructured":"Ricci, A., Piunti, M., Tummolini, L., Castelfranchi, C.: The mirror world: preparing for mixed-reality living. IEEE Pervasive Comput. 14(2), 60\u201363 (2015)","journal-title":"IEEE Pervasive Comput."},{"issue":"3","key":"45_CR24","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2003.1185214","volume":"36","author":"D Saha","year":"2003","unstructured":"Saha, D., Mukherjee, A.: Pervasive computing: a paradigm for the 21st century. Computer 36(3), 25\u201331 (2003)","journal-title":"Computer"},{"key":"45_CR25","unstructured":"Samsung: Samsung Smart Things (2015). \n                  https:\/\/www.smartthings.com"},{"key":"45_CR26","doi-asserted-by":"crossref","unstructured":"Schaffers, H., Komninos, N., Pallot, M., Trousse, B., Nilsson, M., Oliveira, A.: Smart cities and the future Internet: towards cooperation frameworks for open innovation. In: The Future Internet, pp. 431\u2013446. Springer (2011)","DOI":"10.1007\/978-3-642-20898-0_31"},{"key":"45_CR27","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.jclepro.2015.03.055","volume":"100","author":"F Shrouf","year":"2015","unstructured":"Shrouf, F., Miragliotta, G.: Energy management based on Internet of Things: practices and framework for adoption in production management. J. Cleaner Prod. 100, 235\u2013246 (2015)","journal-title":"J. Cleaner Prod."},{"key":"45_CR28","unstructured":"Stojkoska, B.R., Avramova, A.P., Chatzimisios, P.: Application of wireless sensor networks for indoor temperature regulation. Int. J. Distrib. Sens. Netw. 10(5) (2014). Article No. 502419"},{"key":"45_CR29","unstructured":"TuCSoN: Home page (2017). \n                  http:\/\/tucson.apice.unibo.it\/"},{"key":"45_CR30","unstructured":"tuProlog: Home page (2017). \n                  http:\/\/tuprolog.apice.unibo.it"},{"issue":"3","key":"45_CR31","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MPRV.2004.1321026","volume":"3","author":"X Wang","year":"2004","unstructured":"Wang, X., Dong, J.S., Chin, C., Hettiarachchi, S., Zhang, D.: Semantic space: an infrastructure for smart spaces. IEEE Pervasive Comput. 3(3), 32\u201339 (2004)","journal-title":"IEEE Pervasive Comput."},{"issue":"2","key":"45_CR32","doi-asserted-by":"publisher","first-page":"1578","DOI":"10.1109\/TII.2014.2306382","volume":"10","author":"B Xu","year":"2014","unstructured":"Xu, B., Xu, L.D., Cai, H., Xie, C., Hu, J., Bu, F.: Ubiquitous data accessing method in IoT-based information system for emergency medical services. IEEE Trans. Ind. Inf. 10(2), 1578\u20131586 (2014)","journal-title":"IEEE Trans. Ind. Inf."}],"container-title":["Smart Innovation, Systems and Technologies","Intelligent Interactive Multimedia Systems and Services 2017"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59480-4_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T07:29:42Z","timestamp":1557991782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59480-4_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,28]]},"ISBN":["9783319594798","9783319594804"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59480-4_45","relation":{},"ISSN":["2190-3018","2190-3026"],"issn-type":[{"type":"print","value":"2190-3018"},{"type":"electronic","value":"2190-3026"}],"subject":[],"published":{"date-parts":[[2017,5,28]]},"assertion":[{"value":"28 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}