{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:01:06Z","timestamp":1743098466237,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030631062"},{"type":"electronic","value":"9783030631079"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","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":[[2021]]},"DOI":"10.1007\/978-3-030-63107-9_9","type":"book-chapter","created":{"date-parts":[[2021,2,19]],"date-time":"2021-02-19T01:01:46Z","timestamp":1613696506000},"page":"121-137","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Logic Reasoning in Multi-agent Based Smart Home Environment"],"prefix":"10.1007","author":[{"given":"Dagmawi Neway","family":"Mekuria","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Sernani","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Falcionelli","sequence":"additional","affiliation":[]},{"given":"Aldo Franco","family":"Dragoni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,2,17]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Abras S, Ploix S, Pesty S, Jacomino M (2008) A multi-agent home automation system for power management. In: Informatics in control automation and robotics. Springer, pp 59\u201368","key":"9_CR1","DOI":"10.1007\/978-3-540-79142-3_6"},{"doi-asserted-by":"crossref","unstructured":"Bellifemine F, Bergenti F, Caire G, Poggi A (2005) JADE\u2014A Java agent development framework. In: Multi-agent programming. Springer, pp 125\u2013147","key":"9_CR2","DOI":"10.1007\/0-387-26350-0_5"},{"unstructured":"Bruynooghe M, Mantadelis T, Kimmig A, Gutmann B, Vennekens J, Janssens G, De Raedt L (2010) ProbLog technology for inference in a probabilistic first order logic. In: ECAI. ACM, pp 719\u2013724","key":"9_CR3"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.eswa.2017.01.014","volume":"75","author":"Pedro Chahuara","year":"2017","unstructured":"Chahuara Pedro, Portet Fran\u00e7ois, Vacher Michel (2017) Context-aware decision making under uncertainty for voice-based control of smart home. Expert Syst Appl 75:63\u201379","journal-title":"Expert Syst Appl"},{"doi-asserted-by":"crossref","unstructured":"Cook DJ, Youngblood M, Das SK (2006) A multi-agent approach to controlling a smart environment. In: Designing smart homes. Springer, pp 165\u2013182","key":"9_CR5","DOI":"10.1007\/11788485_10"},{"unstructured":"De Raedt L, Kimmig A, Toivonen H (2007) ProbLog: a probabilistic prolog and its application in link discovery. In: IJCAI. Hyderabad, pp 2462\u20132467","key":"9_CR6"},{"unstructured":"De Raedt L, Thon I (2010) Probabilistic rule learning. In: International conference on inductive logic programming. Springer, pp 47\u201358","key":"9_CR7"},{"doi-asserted-by":"crossref","unstructured":"Demiris G, Hensel BK (2008) Technologies for an aging society: a systematic review of \u201csmart home\u201d applications. Yearbook Med Inform 17, 33\u201340","key":"9_CR8","DOI":"10.1055\/s-0038-1638580"},{"doi-asserted-by":"crossref","unstructured":"Dries A, Kimmig A, Meert W, Renkens J, Van den Broeck G, Vlasselaer J, De Raedt L (2015) ProbLog2: probabilistic logic programming. In: Joint European conference on machine learning and knowledge discovery in databases. Springer, pp 312\u2013315","key":"9_CR9","DOI":"10.1007\/978-3-319-23461-8_37"},{"doi-asserted-by":"crossref","unstructured":"Falcionelli N, Sernani P, Brugu\u00e9s A, Mekuria DN, Calvaresi D, Schumacher M, Dragoni AF, Bromuri S (2018) Indexing the event calculus: towards practical human-readable Personal Health Systems. Artif Intell Med","key":"9_CR10","DOI":"10.1016\/j.artmed.2018.10.003"},{"unstructured":"FIPA Request Interaction Protocol Specification. (2002) http:\/\/fipa.org\/specs\/fipa00026\/SC00026H.html Cited 10 May 2019","key":"9_CR11"},{"doi-asserted-by":"crossref","unstructured":"Machado A and Maran V, Augustin I, Lima JC, Wives LK, de Oliveira JPM (2016) Reasoning on uncertainty in smart environments. In: Proceedings of the 18th international conference on enterprise information systems. SCITEPRESS-Science and Technology Publications, Lda, pp 240\u2013250","key":"9_CR12","DOI":"10.5220\/0005866502400250"},{"unstructured":"Mekuria DN, Sernani P, Falcionelli N, Dragoni AF (2018) Reasoning in multi-agent based smart homes: a systematic literature review. In: Italian forum of ambient assisted living. Springer, pp 161\u2013179","key":"9_CR13"},{"doi-asserted-by":"crossref","unstructured":"Reinisch C, Kofler MJ, Iglesias F, Kastner W (2011) Thinkhome energy efficiency in future smart homes. EURASIP J Embedded Syst 2011, 1","key":"9_CR14","DOI":"10.1155\/2011\/104617"},{"unstructured":"Sernani P, Claudi A, Palazzo L, Dolcini G, Dragoni AF (2003) Home care expert systems for ambient assisted living: a multi-agent approach. In: Proceedings of the workshop on the challenge of ageing society: technological roles and opportunities for artificial intelligence, Turin, Italy","key":"9_CR15"},{"doi-asserted-by":"crossref","unstructured":"Shafer G (1976) A mathematical theory of evidence. Princeton University Press","key":"9_CR16","DOI":"10.1515\/9780691214696"},{"unstructured":"Si H, Kawahara Y, Morikawa H, Aoyama T (2005) A stochastic approach for creating context-aware services based on context histories in smart home. Cognitive science research papers, vol 577. University of Sussex, p 37","key":"9_CR17"},{"doi-asserted-by":"crossref","unstructured":"Smith RG (1980) The contract net protocol: high-level communication and control in a distributed problem solver. IEEE Trans Comput 12, 1104\u20131113","key":"9_CR18","DOI":"10.1109\/TC.1980.1675516"},{"doi-asserted-by":"crossref","unstructured":"Sztyler T, Civitarese G, Stuckenschmidt H (2018) Modeling and reasoning with ProbLog: an application in recognizing complex activities. In: 2018 IEEE international conference on pervasive computing and communications workshops (PerCom Workshops). IEEE, pp 259\u2013264","key":"9_CR19","DOI":"10.1109\/PERCOMW.2018.8480299"},{"doi-asserted-by":"crossref","unstructured":"Xiao B, Chen L, Liu M, Cao Y, Yang Y (2015) Design and implementation of rule-based uncertainty reasoning in Smart House. In: 2015 IEEE 16th international conference on communication technology (ICCT). IEEE, pp 441\u2013448","key":"9_CR20","DOI":"10.1109\/ICCT.2015.7399877"}],"container-title":["Lecture Notes in Electrical Engineering","Ambient Assisted Living"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63107-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,25]],"date-time":"2021-04-25T09:39:38Z","timestamp":1619343578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-63107-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030631062","9783030631079"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63107-9_9","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 February 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ForItAAL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italian Forum of Ambient Assisted Living","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ancona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"foritaal2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}