{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T00:08:06Z","timestamp":1785283686818,"version":"3.55.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mobile Netw Appl"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s11036-012-0409-8","type":"journal-article","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T19:11:13Z","timestamp":1346526673000},"page":"444-453","source":"Crossref","is-referenced-by-count":25,"title":["Situation Awareness in Applications of Ambient Assisted Living for Cognitive Impaired People"],"prefix":"10.1007","volume":"18","author":[{"given":"Antonio","family":"Coronato","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giuseppe","family":"De Pietro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2012,9,1]]},"reference":[{"key":"409_CR1","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L Cardelli","year":"2000","unstructured":"Cardelli L, Gordon AD (2000) Mobile ambients. Theor Comput Sci 240:177\u2013213. doi: 10.1016\/S0304-3975(99)00231-5 , http:\/\/portal.acm.org\/citation.cfm?id=340593.340606","journal-title":"Theor Comput Sci"},{"key":"409_CR2","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/MC.2010.335","volume":"43","author":"A Coronato","year":"2010","unstructured":"Coronato A, De\u00a0Pietro G (2010) Formal design of ambient intelligence applications. Computer 43:60\u201368. doi: 10.1109\/MC.2010.335","journal-title":"Computer"},{"issue":"12","key":"409_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1814539.1814551","volume":"10","author":"A Coronato","year":"2010","unstructured":"Coronato A, De\u00a0Pietro G (2010) Formal specification of wireless and pervasive healthcare applications. ACM Trans Embed Comput Syst 10(12):1\u201312:18. doi: 10.1145\/1814539.1814551","journal-title":"ACM Trans Embed Comput Syst"},{"key":"409_CR4","doi-asserted-by":"crossref","unstructured":"Coronato A, De\u00a0Pietro G (2011) Tools for the rapid prototyping of provably correct ambient intelligence applications. IEEE Trans Softw Eng PP(99):1. doi: 10.1109\/TSE.2011.67","DOI":"10.1109\/TSE.2011.67"},{"key":"409_CR5","doi-asserted-by":"crossref","unstructured":"Coronato A, Gallo L (2012) Towards abnormal behavior detection of cognitive impaired people. In: PerCom Workshops, pp 859\u2013864. IEEE","DOI":"10.1109\/PerComW.2012.6197632"},{"key":"409_CR6","volume-title":"IEEE international conference on robotics and automation, ICRA \u201911","author":"K Lai","year":"2011","unstructured":"Lai K, Bo L, Ren X, Fox D (2011) A large-scale hierarchical multi-view rgb-d object dataset. In: IEEE international conference on robotics and automation, ICRA \u201911. IEEE, Piscataway, NJ, USA"},{"key":"409_CR7","doi-asserted-by":"crossref","first-page":"1236","DOI":"10.1109\/TITB.2010.2052061","volume":"14","author":"CD Liu","year":"2010","unstructured":"Liu CD, Chung YN, Chung PC (2010) An interaction-embedded hmm framework for human behavior understanding: with nursing environments as examples. Trans Info Tech Biomed 14:1236\u20131246. doi: 10.1109\/TITB.2010.2052061","journal-title":"Trans Info Tech Biomed"},{"key":"409_CR8","doi-asserted-by":"crossref","unstructured":"Loy CC, Xiang T, Gong S (2009) Surveillance video behaviour profiling and anomaly detection. In: Society of Photo-Optical Instrumentation Engineers (SPIE) conference series. Presented at the Society of Photo-Optical Instrumentation Engineers (SPIE) conference, vol 7486. doi: 10.1117\/12.832188","DOI":"10.1117\/12.832188"},{"key":"409_CR9","doi-asserted-by":"crossref","unstructured":"McCarthy J (1963) Situations, actions, and causal laws. Technical Report Memo 2, Stanford Artificial Intelligence Project, Stanford University","DOI":"10.21236\/AD0785031"},{"key":"409_CR10","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.entcs.2008.04.002","volume":"209","author":"R Milner","year":"2008","unstructured":"Milner R (2008) Bigraphs and their algebra. Electr Notes Theor Comput Sci 209:5\u201319","journal-title":"Electr Notes Theor Comput Sci"},{"issue":"4","key":"409_CR11","doi-asserted-by":"crossref","first-page":"879","DOI":"10.1109\/TASE.2010.2049840","volume":"7","author":"D Monekosso","year":"2010","unstructured":"Monekosso D, Remagnino P (2010) Behavior analysis for assisted living. IEEE Transactions on Automation Science and Engineering 7(4):879\u2013886. doi: 10.1109\/TASE.2010.2049840","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"5","key":"409_CR12","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1093\/logcom\/14.5.703","volume":"14","author":"ET Mueller","year":"2004","unstructured":"Mueller ET (2004) Event calculus reasoning through satisfiability. J Log Comput 14(5):703\u2013730","journal-title":"J Log Comput"},{"key":"409_CR13","doi-asserted-by":"crossref","unstructured":"Nater F, Grabner H, Van\u00a0Gool L (2010) Exploiting simple hierarchies for unsupervised human behavior analysis. In: 2010 IEEE conference on Computer Vision and Pattern Recognition (CVPR), pp 2014\u20132021. doi: 10.1109\/CVPR.2010.5539877","DOI":"10.1109\/CVPR.2010.5539877"},{"issue":"3","key":"409_CR14","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1192\/bjp.160.3.341","volume":"160","author":"B Parry-Jones","year":"1992","unstructured":"Parry-Jones B, Parry-Jones WL (1992) Pica: symptom or eating disorder? A historical assessment. Br J Psychiatry 160(3):341\u201354. doi: 10.1192\/bjp.160.3.341 , http:\/\/bjp.rcpsych.org\/content\/160\/3\/341.abstract","journal-title":"Br J Psychiatry"},{"key":"409_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action: logical foundations for specifying and implementing dynamical systems, illustrated edn","author":"R Reiter","year":"2001","unstructured":"Reiter R (2001) Knowledge in action: logical foundations for specifying and implementing dynamical systems, illustrated edn. The MIT Press, Massachusetts, MA"},{"issue":"3","key":"409_CR16","doi-asserted-by":"crossref","first-page":"e51","DOI":"10.1016\/j.jalz.2010.07.005","volume":"7","author":"F Segal-Gidan","year":"2011","unstructured":"Segal-Gidan F, Cherry D, Jones R, Williams B, Hewett L, Chodosh J (2011) Alzheimer\u2019s disease management guideline: update 2008. Alzheimer\u2019s and Dementia 7(3):e51\u2013e59. doi: 10.1016\/j.jalz.2010.07.005 , http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1552526010024209","journal-title":"Alzheimer\u2019s and Dementia"},{"key":"409_CR17","doi-asserted-by":"crossref","first-page":"893","DOI":"10.1109\/TPAMI.2007.70731","volume":"30","author":"T Xiang","year":"2008","unstructured":"Xiang T, Gong S (2008) Video behavior profiling for anomaly detection. IEEE Trans Pattern Anal Mach Intell 30:893\u2013908. doi: 10.1109\/TPAMI.2007.70731 , http:\/\/portal.acm.org\/citation.cfm?id=1399103.1399427","journal-title":"IEEE Trans Pattern Anal Mach Intell"},{"key":"409_CR18","doi-asserted-by":"crossref","unstructured":"Xu X, Tang J, Liu X, Zhang X (2010) Human behavior understanding for video surveillance: recent advance. In: 2010 IEEE international conference on Systems Man and Cybernetics (SMC), pp 3867\u20133873. doi: 10.1109\/ICSMC.2010.5641773","DOI":"10.1109\/ICSMC.2010.5641773"},{"key":"409_CR19","doi-asserted-by":"crossref","unstructured":"Ye J, Dobson S, McKeever S (2011) Situation identification techniques in pervasive computing: a review. Pervasive and Mobile Computing (in press, corrected proof). doi: 10.1016\/j.pmcj.2011.01.004 , http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1574119211000253","DOI":"10.1016\/j.pmcj.2011.01.004"},{"key":"409_CR20","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-642-02611-9_34","volume-title":"Proceedings of the 6th international conference on image analysis and recognition, ICIAR \u201909","author":"J Yin","year":"2009","unstructured":"Yin J, Meng Y (2009) Abnormal behavior recognition using self-adaptive hidden Markov models. In: Proceedings of the 6th international conference on image analysis and recognition, ICIAR \u201909. Springer-Verlag, Berlin, Heidelberg, pp\u00a0337\u2013346"}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-012-0409-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11036-012-0409-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-012-0409-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T08:43:15Z","timestamp":1562143395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11036-012-0409-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,1]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["409"],"URL":"https:\/\/doi.org\/10.1007\/s11036-012-0409-8","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"value":"1383-469X","type":"print"},{"value":"1572-8153","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,1]]}}}