{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T20:59:48Z","timestamp":1757451588526,"version":"3.37.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319716817"},{"type":"electronic","value":"9783319716824"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-71682-4_16","type":"book-chapter","created":{"date-parts":[[2017,11,24]],"date-time":"2017-11-24T16:24:12Z","timestamp":1511540652000},"page":"258-274","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Event Calculus Agent Minds Applied to Diabetes Monitoring"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Falcionelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Sernani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert","family":"Brugu\u00e9s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dagmawi Neway","family":"Mekuria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Calvaresi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Schumacher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aldo Franco","family":"Dragoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Bromuri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,25]]},"reference":[{"issue":"4","key":"16_CR1","doi-asserted-by":"crossref","first-page":"895","DOI":"10.1109\/TKDE.2014.2356476","volume":"27","author":"A Artikis","year":"2015","unstructured":"Artikis, A., Sergot, M., Paliouras, G.: An event calculus for event recognition. IEEE Trans. Knowl. Data Eng. 27(4), 895\u2013908 (2015)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"9937","key":"16_CR2","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/S0140-6736(14)60648-6","volume":"384","author":"UE Bauer","year":"2014","unstructured":"Bauer, U.E., Briss, P.A., Goodman, R.A., Bowman, B.A.: Prevention of chronic disease in the 21st century: elimination of the leading preventable causes of premature death and disability in the USA. Lancet 384(9937), 45\u201352 (2014)","journal-title":"Lancet"},{"issue":"4","key":"16_CR3","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/BF00289509","volume":"1","author":"R Bayer","year":"1972","unstructured":"Bayer, R.: Symmetric binary B-trees: data structure and maintenance algorithms. Acta Informatica 1(4), 290\u2013306 (1972). https:\/\/doi.org\/10.1007\/BF00289509","journal-title":"Acta Informatica"},{"unstructured":"Bergenti, F., Poggi, A.: Multi-agent systems for e-health: recent projects and initiatives. In: 10th Workshop on Objects and Agents, WOA 2009 (2009)","key":"16_CR4"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-29414-3_8","volume-title":"Logic Programs, Norms and Action","author":"S Bragaglia","year":"2012","unstructured":"Bragaglia, S., Chesani, F., Mello, P., Montali, M., Torroni, P.: Reactive event calculus for monitoring global computing applications. In: Artikis, A., Craven, R., Kesim \u00c7i\u00e7ekli, N., Sadighi, B., Stathis, K. (eds.) Logic Programs, Norms and Action. LNCS (LNAI), vol. 7360, pp. 123\u2013146. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29414-3_8"},{"unstructured":"British Hypertension Society: Home blood pressure monitoring protocol, 17 February 2017. http:\/\/www.bhsoc.org\/files\/4414\/1088\/8031\/Protocol.pdf","key":"16_CR6"},{"issue":"2","key":"16_CR7","doi-asserted-by":"crossref","first-page":"219","DOI":"10.3233\/AIS-160365","volume":"8","author":"S Bromuri","year":"2016","unstructured":"Bromuri, S., Puricel, S., Schumann, R., Krampf, J., Ruiz, J., Schumacher, M.: An expert personal health system to monitor patients affected by gestational diabetes mellitus: a feasibility study. J. Ambient Intell. Smart Environ. 8(2), 219\u2013237 (2016)","journal-title":"J. Ambient Intell. Smart Environ."},{"issue":"2","key":"16_CR8","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/s10916-015-0377-1","volume":"40","author":"A Brugu\u00e9s","year":"2016","unstructured":"Brugu\u00e9s, A., Bromuri, S., Barry, M., del Toro, O.J., Mazurkiewicz, M.R., Kardas, P., Pegueroles, J., Schumacher, M.: Processing diabetes mellitus composite events in MAGPIE. J. Med. Syst. 40(2), 44 (2016)","journal-title":"J. Med. Syst."},{"unstructured":"Brugu\u00e9s, A., Bromuri, S., Pegueroles-Valles, J., Schumacher, M.I.: MAGPIE: an agent platform for the development of mobile applications for pervasive healthcare. In: Proceedings of the 3rd International Workshop on Artificial Intelligence and Assistive Medicine (AI-AM\/NetMed), pp. 6\u201310 (2014)","key":"16_CR9"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-3-319-16480-9_48","volume-title":"Bioinformatics and Biomedical Engineering","author":"D Calvaresi","year":"2015","unstructured":"Calvaresi, D., Cesarini, D., Marinoni, M., Buonocunto, P., Bandinelli, S., Buttazzo, G.: Non-intrusive patient monitoring for supporting general practitioners in following diseases evolution. In: Ortu\u00f1o, F., Rojas, I. (eds.) IWBBIO 2015. LNCS, vol. 9044, pp. 491\u2013501. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16480-9_48"},{"doi-asserted-by":"crossref","unstructured":"Calvaresi, D., Cesarini, D., Sernani, P., Marinoni, M., Dragoni, A.F., Sturm, A.: Exploring the ambient assisted living domain: a systematic review. J. Ambient Intell. Humaniz. Comput. pp. 1\u201319 (2016)","key":"16_CR11","DOI":"10.1007\/s12652-016-0374-3"},{"doi-asserted-by":"crossref","unstructured":"Calvaresi, D., Marinoni, M., Sturm, A., Schumacher, M., Buttazzo, G.: The challenge of real-time multi-agent systems for enabling IoT and CPS. In: Proceedings of IEEE\/WIC\/ACM International Conference on Web Intelligence (WI 2017) (2017)","key":"16_CR12","DOI":"10.1145\/3106426.3106518"},{"doi-asserted-by":"crossref","unstructured":"Calvaresi, D., Schumacher, M., Marinoni, M., Hilfiker, R., Dragoni, A.F., Buttazzo, G.: Agent-based systems for telerehabilitation: strengths, limitations and future challenges. In: Proceedings of the 10th Workshop on Agents Applied in Health Care (A2HC 2017) (2017)","key":"16_CR13","DOI":"10.1007\/978-3-319-70887-4_1"},{"issue":"3","key":"16_CR14","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1111\/j.1467-8640.1996.tb00267.x","volume":"12","author":"L Chittaro","year":"1996","unstructured":"Chittaro, L., Montanari, A.: Efficient temporal reasoning in the cached event calculus. Comput. Intell. 12(3), 359\u2013382 (1996). https:\/\/doi.org\/10.1111\/j.1467-8640.1996.tb00267.x","journal-title":"Comput. Intell."},{"issue":"2","key":"16_CR15","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/j.scico.2005.02.001","volume":"57","author":"E Denti","year":"2005","unstructured":"Denti, E., Omicini, A., Ricci, A.: Multi-paradigm Java-Prolog integration in tuProlog. Sci. Comput. Program. 57(2), 217\u2013250 (2005)","journal-title":"Sci. Comput. Program."},{"unstructured":"Dungan, K.: Monitoring technologies - continuous glucose monitoring, mobile technology, biomarkers of glycemic control. In: De Groot, L.J., Beck-Peccoz, P., Chrousos, G., Dungan, K., Grossman, A., Hershman, J.M., Singer, F. (eds.) Endotext [Internet] (2014)","key":"16_CR16"},{"issue":"2","key":"16_CR17","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/s10916-015-0376-2","volume":"40","author":"D Isern","year":"2015","unstructured":"Isern, D., Moreno, A.: A systematic literature review of agents applied in healthcare. J. Med. Syst. 40(2), 43 (2015)","journal-title":"J. Med. Syst."},{"issue":"3","key":"16_CR18","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/j.ijmedinf.2010.01.003","volume":"79","author":"D Isern","year":"2010","unstructured":"Isern, D., S\u00e1nchez, D., Moreno, A.: Agents applied in health care: a review. Int. J. Med. Inform. 79(3), 145\u2013166 (2010)","journal-title":"Int. J. Med. Inform."},{"issue":"5","key":"16_CR19","doi-asserted-by":"crossref","first-page":"479","DOI":"10.3233\/AIS-130220","volume":"5","author":"\u00d6 Kafal\u0131","year":"2013","unstructured":"Kafal\u0131, \u00d6., Bromuri, S., Sindlar, M., van der Weide, T., Aguilar Pelaez, E., Schaechtle, U., Alves, B., Zufferey, D., Rodriguez-Villegas, E., Schumacher, M.I., et al.: Commodity12: a smart e-health environment for diabetes management. J. Ambient Intell. Smart Environ. 5(5), 479\u2013502 (2013)","journal-title":"J. Ambient Intell. Smart Environ."},{"issue":"1","key":"16_CR20","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4(1), 67\u201395 (1986)","journal-title":"New Gener. Comput."},{"unstructured":"Montagna, S., Omicini, A., Angeli, F.D., Donati, M.: Towards the adoption of agent-based modelling and simulation in mobile health systems for the self-management of chronic diseases. In: Proceedings of the 17th Workshop \u201cFrom Objects to Agents\u201d, Catania, Italy, 29\u201330 July 2016, pp. 100\u2013105 (2016)","key":"16_CR21"},{"key":"16_CR22","volume-title":"Commonsense Reasoning: An Event Calculus Based Approach","author":"ET Mueller","year":"2015","unstructured":"Mueller, E.T.: Commonsense Reasoning: An Event Calculus Based Approach, 2nd edn. Morgan Kaufmann Publishers Inc., San Francisco (2015)","edition":"2"},{"doi-asserted-by":"crossref","unstructured":"Nefti, S., Manzoor, U., Manzoor, S.: Cognitive agent based intelligent warning system to monitor patients suffering from dementia using ambient assisted living. In: 2010 International Conference on Information Society, pp. 92\u201397 (2010)","key":"16_CR23","DOI":"10.1109\/i-Society16502.2010.6018802"},{"key":"16_CR24","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/j.techfore.2014.08.019","volume":"93","author":"A Peine","year":"2015","unstructured":"Peine, A., Moors, E.H.: Valuing health technology - habilitating and prosthetic strategies in personal health systems. Technol. Forecast. Soci. Change 93, 68\u201381 (2015). Science, Technology and the \u201cGrand Challenge\u201d of Ageing","journal-title":"Technol. Forecast. Soci. Change"},{"unstructured":"Ramchurn, S.D., Vytelingum, P., Rogers, A., Jennings, N.: Agent-based control for decentralised demand side management in the smart grid. In: The 10th International Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 5\u201312 (2011)","key":"16_CR25"},{"issue":"1","key":"16_CR26","doi-asserted-by":"crossref","first-page":"730","DOI":"10.1109\/TII.2013.2273433","volume":"10","author":"M Ruta","year":"2014","unstructured":"Ruta, M., Scioscia, F., Loseto, G., Sciascio, E.D.: Semantic-based resource discovery and orchestration in home and building automation: a multi-agent approach. IEEE Trans. Indus. Inform. 10(1), 730\u2013741 (2014)","journal-title":"IEEE Trans. Indus. Inform."},{"issue":"4","key":"16_CR27","doi-asserted-by":"crossref","first-page":"62","DOI":"10.4018\/IJEHMC.2015100105","volume":"6","author":"P Sernani","year":"2015","unstructured":"Sernani, P., Claudi, A., Dragoni, A.: Combining artificial intelligence and netmedicine for ambient assisted living: a distributed BDI-based expert system. Int. J. E-Health Med. Commun. 6(4), 62\u201376 (2015)","journal-title":"Int. J. E-Health Med. Commun."},{"issue":"2","key":"16_CR28","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.artmed.2014.08.006","volume":"63","author":"BG Silverman","year":"2015","unstructured":"Silverman, B.G., Hanrahan, N., Bharathy, G., Gordon, K., Johnson, D.: A systems approach to healthcare: agent-based modeling, community mental health, and population well-being. Artif. Intell. Med. 63(2), 61\u201371 (2015)","journal-title":"Artif. Intell. Med."},{"issue":"11","key":"16_CR29","doi-asserted-by":"crossref","first-page":"1296","DOI":"10.1016\/j.comcom.2011.11.015","volume":"35","author":"G Tartarisco","year":"2012","unstructured":"Tartarisco, G., Baldus, G., Corda, D., Raso, R., Arnao, A., Ferro, M., Gaggioli, A., Pioggia, G.: Personal health system architecture for stress monitoring and support to clinical decisions. Comput. Commun. 35(11), 1296\u20131305 (2012)","journal-title":"Comput. Commun."},{"issue":"3","key":"16_CR30","doi-asserted-by":"crossref","first-page":"9949","DOI":"10.1007\/s10916-013-9949-0","volume":"37","author":"F Touati","year":"2013","unstructured":"Touati, F., Tabish, R.: U-healthcare system: state-of-the-art review and challenges. J. Med. Syst. 37(3), 9949 (2013)","journal-title":"J. Med. Syst."},{"issue":"2\u20133","key":"16_CR31","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s11036-007-0017-1","volume":"12","author":"U Varshney","year":"2007","unstructured":"Varshney, U.: Pervasive healthcare and wireless health monitoring. Mob. Netw. Appl. 12(2\u20133), 113\u2013127 (2007)","journal-title":"Mob. Netw. Appl."},{"unstructured":"World Health Organization: Global Report on Diabetes. World Health Organization, Geneva (2016)","key":"16_CR32"},{"issue":"10","key":"16_CR33","doi-asserted-by":"crossref","first-page":"616","DOI":"10.1038\/nrendo.2016.105","volume":"12","author":"P Zimmet","year":"2016","unstructured":"Zimmet, P., Alberti, K.G., Magliano, D.J., Bennett, P.H.: Diabetes mellitus statistics on prevalence and mortality: facts and fallacies. Nature Rev. Endocrinol. 12(10), 616\u2013622 (2016)","journal-title":"Nature Rev. Endocrinol."}],"container-title":["Lecture Notes in Computer Science","Autonomous Agents and Multiagent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-71682-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T19:47:34Z","timestamp":1603396054000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-71682-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319716817","9783319716824"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-71682-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}