{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:41Z","timestamp":1750308641239,"version":"3.41.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319590592"},{"type":"electronic","value":"9783319590608"}],"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-59060-8_25","type":"book-chapter","created":{"date-parts":[[2017,5,23]],"date-time":"2017-05-23T08:42:30Z","timestamp":1495528950000},"page":"267-279","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Understanding Human Behavior in Intelligent Environments: A Context-Aware System Supporting Mountain Rescuers"],"prefix":"10.1007","author":[{"given":"Rados\u0142aw","family":"Klimek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,24]]},"reference":[{"issue":"3","key":"25_CR1","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/1922649.1922653","volume":"43","author":"J Aggarwal","year":"2011","unstructured":"Aggarwal, J., Ryoo, M.: Human activity analysis: a review. ACM Comput. Surv. 43(3), 16:1\u201316:43 (2011)","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"25_CR2","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1109\/TITS.2010.2074196","volume":"12","author":"F Calabrese","year":"2011","unstructured":"Calabrese, F., Colonna, M., Lovisolo, P., Parata, D., Ratti, C.: Real-time urban monitoring using cell phones: A case study in rome. IEEE Trans. Intell. Transp. Syst. 12(1), 141\u2013151 (2011)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Chen, S., Liu, J., Wang, H., Augusto, J.C.: A hierarchical human activity recognition framework based on automated reasoning. In: IEEE International Conference on Systems, Man, and Cybernetics, Manchester, SMC 2013, United Kingdom, 13\u201316 October 2013, pp. 3495\u20133499 (2013)","DOI":"10.1109\/SMC.2013.596"},{"key":"25_CR4","unstructured":"Dey, A.K., Abowd, G.D.: Towards a better understanding of context and context-awareness. In: Workshop on The What, Who, Where, When, and How of Context-Awareness (CHI 2000). http:\/\/www.cc.gatech.edu\/fce\/contexttoolkit\/"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering (ICSE 1999), Los Angeles, CA, USA, 16\u201322 May 1999, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"25_CR6","unstructured":"Federation of Communication Services: UK Standard for CDRs. Standard CDR Format, January 2014"},{"issue":"7196","key":"25_CR7","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1038\/nature06958","volume":"453","author":"MC Gonzalez","year":"2008","unstructured":"Gonzalez, M.C., Hidalgo, C.A., Barabasi, A.L.: Understanding individual human mobility patterns. Nature 453(7196), 779\u2013782 (2008)","journal-title":"Nature"},{"key":"25_CR8","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-319-07013-1_22","volume-title":"Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX","author":"I Grobelna","year":"2014","unstructured":"Grobelna, I., Grobelny, M., Adamski, M.: Model checking of UML activity diagrams in logic controllers design. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Proceedings of the Ninth International Conference DepCoS-RELCOMEX. AISC, vol. 286, pp. 233\u2013242. Springer, Cham (2014). doi:10.1007\/978-3-319-07013-1_22"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Klimek, R.: Towards formal and deduction-based analysis of business models for SOA processes. In: Filipe, J., Fred, A. (eds.) Proceedings of 4th International Conference on Agents and Artificial Intelligence (ICAART 2012), Vilamoura, Algarve, Portugal, 6\u20138 February 2012, vol. 2, pp. 325\u2013330. SciTePress (2012)","DOI":"10.5220\/0003740503250330"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Klimek, R.: Behaviour recognition and analysis in smart environments for context-aware applications. In: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2015), City University of Hong Kong, Hong Kong, 9\u201312 October 2015, pp. 1949\u20131955. IEEE Computer Society (2015)","DOI":"10.1109\/SMC.2015.340"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1007\/978-3-319-39378-0_58","volume-title":"Artificial Intelligence and Soft Computing","author":"R Klimek","year":"2016","unstructured":"Klimek, R.: Mapping population and mobile pervasive datasets into individual behaviours for urban ecosystems. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2016. LNCS, vol. 9692, pp. 683\u2013694. Springer, Cham (2016). doi:10.1007\/978-3-319-39378-0_58"},{"key":"25_CR12","unstructured":"Klimek, R., Kotulski, L.: Proposal of a multiagent-based smart environment for the IoT. In: Augusto, J.C., Zhang, T. (eds.) Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, 30 June\u20131 July 2014. Ambient Intelligence and Smart Environments, vol.\u00a018, pp. 37\u201344. IOS Press (2014)"},{"key":"25_CR13","unstructured":"Klimek, R., Szwed, P.: Verification of archimate process specifications based on deductive temporal reasoning. In: Proceedings of Federated Conference on Computer Science and Information Systems (FedCSIS 2013), Krak\u00f3w, Poland, 8\u201311 September 2013, pp. 1131\u20131138. IEEE Xplore Digital Library (2013)"},{"key":"25_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1007\/978-3-540-74255-5_42","volume-title":"Modeling and Using Context","author":"A Zimmermann","year":"2007","unstructured":"Zimmermann, A., Lorenz, A., Oppermann, R.: An operational definition of context. In: Kokinov, B., Richardson, D.C., Roth-Berghofer, T.R., Vieu, L. (eds.) CONTEXT 2007. LNCS, vol. 4635, pp. 558\u2013571. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-74255-5_42"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59060-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:15:43Z","timestamp":1750274143000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-59060-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319590592","9783319590608"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59060-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"24 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICAISC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Artificial Intelligence and Soft Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zakopane","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icaisc2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icaisc.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}